🔗 Who cites «Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability»

7 papers of our library cite it (of the 149,439 whose bibliographies we read) · 3 with a page here, the most cited first · ← back to «Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability»

1. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
2. Argument-Based Consistency in Toxicity Explanations of LLMsFindings of the Association for Computational LinguisticsRamaravind Kommiya Mothilal, Joanna Roy, Syed Ishtiaque Ahmed, et al.2026 · 2 citations
3. IS-CoT: Breaking the Long-form Generation Collapse via Interleaved Structural ThinkingAnnual Meeting of the Association for Computational Linguistics (ACL)Zechen Sun, Yuyang Sun, Zecheng Tang, et al.2026 · 1 citation

4 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/wang-2025-let-s-reason-formally-natural/cited-by/