🔗 Who cites «Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models»

5 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models»

1. Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Zhikun Xu, Xiaodong Yu, Ben Zhou, et al.2026
2. Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal ExplorationAnnual Meeting of the Association for Computational Linguistics (ACL)Dayu Wang, Jiaye Yang, Weikang Li, et al.2026

3 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/cited-by/