🔗 Who cites «LeanReasoner: Boosting Complex Logical Reasoning with Lean»

22 papers of our library cite it (of the 149,439 whose bibliographies we read) · 12 with a page here, the most cited first · ← back to «LeanReasoner: Boosting Complex Logical Reasoning with Lean»

1. To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoningarXiv:2409.12183Zayne Sprague, Fangcong Yin, Juan Diego Rodriguez, et al.2024 · 138 citations
2. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem ProvingConference on Empirical Methods in Natural Language Processing (EMNLP)Xin Quan, Marco Valentino, Louise A. Dennis, et al.2024 · 52 citations
3. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
4. Improving Chain-of-Thought Reasoning via Quasi-Symbolic AbstractionsAnnual Meeting of the Association for Computational Linguistics (ACL)Leonardo Ranaldi, Marco Valentino, Andre Freitas2025 · 42 citations
5. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
6. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
7. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen2025 · 14 citations
8. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
9. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.2025 · 9 citations
10. Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad MathematicsarXiv:2504.01995Hamed Mahdavi, Alireza Hashemi, Majid Daliri, et al.2025 · 8 citations
11. Thinking in Schemas: Robust Syllogistic Reasoning in LLMsAnnual Meeting of the Association for Computational Linguistics (ACL)Federico Ranaldi, Leonardo Ranaldi, Fabio Massimo Zanzotto, et al.2026
12. Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Bowei Zhang, Hanbing Liu, Qixin Tian, et al.2026

10 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/jiang-2024-leanreasoner-boosting-complex-logical-reasoning/cited-by/