🧑‍🔬 Who cites Kaya Stechly

116 citations of their works from 109 papers of our library (of the 149,439 whose bibliographies we read) · 38 with a page here, the most cited first · ← Kaya Stechly

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. Best Practices and Lessons Learned on Synthetic DataarXiv:2404.07503Ruibo Liu, Jerry Wei, Fangyu Liu, et al.2024 · 119 citations
3. Multi-Step Reasoning with Large Language Models, a SurveyACM Computing SurveysAske Plaat, Annie Wong, Suzan Verberne, et al.2024 · 106 citations
4. 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
5. 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
6. TheAgentCompany: Benchmarking LLM Agents on Consequential Real World TasksConference on Neural Information Processing Systems (NeurIPS)Frank F. Xu, Yufan Song, Boxuan Li, et al.2024 · 68 citations
7. PlanGenLLMs: A Modern Survey of LLM Planning CapabilitiesAnnual Meeting of the Association for Computational Linguistics (ACL)Hui Wei, Zihao Zhang, Shenghua He, et al.2025 · 55 citations
8. AI Agents That MatterarXiv:2407.01502Sayash Kapoor, Benedikt Stroebl, Zachary S. Siegel, et al.2024 · 55 citations
9. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
10. Stream of Search (SoS): Learning to Search in LanguagearXiv:2404.03683Kanishk Gandhi, Denise Lee, Gabriel Grand, et al.2024 · 49 citations
11. 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
12. On the Self-Verification Limitations of Large Language Models on Reasoning and Planning TasksarXiv:2402.08115Kaya Stechly, Karthik Valmeekam, Subbarao Kambhampati2024 · 42 citations
13. 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
14. LLM4SR: A Survey on Large Language Models for Scientific ResearcharXiv:2501.04306Ziming Luo, Zonglin Yang, Zexin Xu, et al.2025 · 39 citations
15. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
16. 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
17. SemEval-2026 Task 11: Disentangling Content and Formal Reasoning in Large Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Marco Valentino, Leonardo Ranaldi, Giulia Pucci, et al.2026 · 22 citations
18. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
19. The Limits of Inference Scaling Through ResamplingarXiv:2411.17501Benedikt Stroebl, Sayash Kapoor, Arvind Narayanan2024 · 21 citations
20. 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
21. Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification ToolsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Yilun Hao, Yongchao Chen, Yang Zhang, et al.2025 · 18 citations
22. PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem SolvingConference on Empirical Methods in Natural Language Processing (EMNLP)Mihir Parmar, Xin Liu, Palash Goyal, et al.2025 · 16 citations
23. Data-driven Discovery with Large Generative ModelsarXiv:2402.13610Bodhisattwa Prasad Majumder, Harshit Surana, Dhruv Agarwal, et al.2024 · 15 citations
24. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
25. Problem Solving Through Human–AI Preference-based CooperationComputational LinguisticsSubhabrata Dutta, Timo Kaufmann, Goran Glavaš, et al.2025 · 9 citations
26. 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
27. Analysing Chain of Thought Dynamics: Active Guidance or Unfaithful Post-hoc Rationalisation?Conference on Empirical Methods in Natural Language Processing (EMNLP)Samuel Lewis-Lim, Xingwei Tan, Zhixue Zhao, et al.2025 · 5 citations
28. Evaluating the Systematic Reasoning Abilities of Large Language Models through Graph ColoringarXiv:2502.07087Alex Heyman, Joel Zylberberg2025 · 4 citations
29. DeepPresenter: Environment-Grounded Reflection for Agentic Presentation GenerationFindings of the Association for Computational LinguisticsHao Zheng, Guozhao Mo, Xinru Yan, et al.2026 · 3 citations
30. AOT*: Efficient Synthesis Planning via LLM-Empowered AND-OR Tree SearchFindings of the Association for Computational LinguisticsXiaozhuang Song, Xuanhao Pan, Xinjian Zhao, et al.2026 · 2 citations
31. 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
32. 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
33. 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
34. Integrating Neural and Symbolic Components in a Model of Pragmatic Question-AnsweringPolina Tsvilodub, Robert D. Hawkins, Michael Franke2025 · 1 citation
35. Beyond Length Scaling: Synergizing Breadth and Depth for Generative Reward ModelsFindings of the Association for Computational LinguisticsQiyuan Zhang, Yufei Wang, Tianhe Wu, et al.2026
36. CARL: Constraint-Aware Reinforcement Learning for Planning with LLMsFindings of the Association for Computational LinguisticsQiuyi Qi, Jinjian Zhang, Mutian Bao, et al.2026
37. Computational models of pragmatic reasoning with flexible generation of meaning and expression alternativesarXiv:2607.18443Polina Tsvilodub, Fausto Carcassi, Michael Franke2026
38. 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

71 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/kaya-stechly/cited-by/