TY  - RPRT
TI  - The Proof Analysis Problem for Constant-Depth Frege
AU  - Noel Arteche
AU  - Susanna F. de Rezende
AU  - Erfan Khaniki
AU  - Kilian Risse
PY  - 2026
UR  - https://arxiv.org/abs/2611.08305
ID  - 2611.08305
ER  -