TY  - RPRT
TI  - Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system
AU  - Joshua A. Grochow
PY  - 2023
UR  - https://arxiv.org/abs/2306.02184
ID  - 2306.02184
ER  -