TY  - RPRT
TI  - Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds
AU  - Jiawei Li
AU  - Yuhao Li
AU  - Hanlin Ren
PY  - 2026
UR  - https://arxiv.org/abs/2411.15515
ID  - 2411.15515
ER  -