AI RESEARCH
Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
arXiv CS.AI
•
ArXi:2605.12524v1 Announce Type: cross Methodologically, we