TY  - RPRT
TI  - Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
AU  - Konstantine Arkoudas
AU  - Serafim Batzoglou
PY  - 2026
UR  - https://arxiv.org/abs/2605.12524
ID  - 2605.12524
ER  -