🔗 Who cites «On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks»

39 papers of our library cite it (of the 149,439 whose bibliographies we read) · 18 with a page here, the most cited first · ← back to «On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks»

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. LLMs Can't Plan, But Can Help Planning in LLM-Modulo FrameworksarXiv:2402.01817 · Proceedings of the 41 st International Conference on Machine Learning, Vienna, Austria. PMLR 235, 2024Subbarao Kambhampati, Karthik Valmeekam, Lin Guan, et al.2024 · 88 citations
3. Toward Self-Improvement of LLMs via Imagination, Searching, and CriticizingConference on Neural Information Processing Systems (NeurIPS)Ye Tian, Baolin Peng, Linfeng Song, et al.2024 · 80 citations
4. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
5. Stream of Search (SoS): Learning to Search in LanguagearXiv:2404.03683Kanishk Gandhi, Denise Lee, Gabriel Grand, et al.2024 · 49 citations
6. The Unreasonable Effectiveness of Entropy Minimization in LLM ReasoningConference on Neural Information Processing Systems (NeurIPS)Shivam Agarwal, Zimin Zhang, Lifan Yuan, et al.2025 · 47 citations
7. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
8. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
9. Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?Annual Meeting of the Association for Computational Linguistics (ACL)Yancheng He, Shilong Li, Jiaheng Liu, et al.2025 · 30 citations
10. MAgICoRe: Multi-Agent, Iterative, Coarse-to-Fine Refinement for ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Justin Chen, Archiki Prasad, Swarnadeep Saha, et al.2025 · 20 citations
11. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
12. DeepPlanning: Benchmarking Long-Horizon Agentic Planning with Verifiable ConstraintsAnnual Meeting of the Association for Computational Linguistics (ACL)Yinger Zhang, Shutong Jiang, Renhao Li, et al.2026 · 5 citations
13. Evaluating the Systematic Reasoning Abilities of Large Language Models through Graph ColoringarXiv:2502.07087Alex Heyman, Joel Zylberberg2025 · 4 citations
14. DeepPresenter: Environment-Grounded Reflection for Agentic Presentation GenerationFindings of the Association for Computational LinguisticsHao Zheng, Guozhao Mo, Xinru Yan, et al.2026 · 3 citations
15. Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier MathAnnual Meeting of the Association for Computational Linguistics (ACL)Shrey Pandit, Austin Xu, Xuan-Phi Nguyen, et al.2026 · 2 citations
16. Process Reward Models Meet Planning: Generating Precise and Scalable Datasets for Step-Level RewardsAnnual Meeting of the Association for Computational Linguistics (ACL)Raffaele Pisano, Roberto Navigli2026 · 1 citation
17. Verification-Aware Planning for Multi-Agent SystemsConference of the European Chapter of the Association for Computational Linguistics (EACL)Tianyang Xu, Dan Zhang, Kushan Mitra, et al.2026 · 1 citation
18. Toward Consistent World Models with Multi-Token Prediction and Latent Semantic EnhancementAnnual Meeting of the Association for Computational Linguistics (ACL)Qimin Zhong, Hao Liao, Haiming Qin, et al.2026

21 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/stechly-2024-self-verification-limitations-large-language/cited-by/