🧑‍🔬 Who cites Swarat Chaudhuri

449 citations of their works from 401 papers of our library (of the 149,439 whose bibliographies we read) · 69 with a page here, the most cited first · ← Swarat Chaudhuri

1. SWE-agent: Agent-Computer Interfaces Enable Automated Software EngineeringConference on Neural Information Processing Systems (NeurIPS)John Yang, Carlos E. Jimenez, Alexander Wettig, et al.2024 · 552 citations
2. Humanity's Last ExamNatureLong Phan, Alice Gatti, Ziwen Han, et al.2025 · 256 citations
3. Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?arXiv:2504.13837 · NeurIPS 2025 Oral; ICML 2025 AI4MATH workshop best paperYang Yue, Zhiqi Chen, Rui Lu, et al.2025 · 216 citations
4. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
5. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
6. A Survey of Machine Learning for Big Code and NaturalnessACM Computing SurveysMiltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.2017 · 167 citations
7. Unsupervised Translation of Programming LanguagesarXiv:2006.03511Marie-Anne Lachaux, Baptiste Roziere, Lowik Chanussot, et al.2020 · 160 citations
8. 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
9. DeepSeek-V4: Towards Highly Efficient Million-Token Context IntelligencearXiv:2606.19348DeepSeek-AI, Anyi Xu, Bangcai Lin, et al.2026 · 122 citations
10. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
11. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
12. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
13. FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AIarXiv:2411.04872Elliot Glazer, Ege Erdil, Tamay Besiroglu, et al.2024 · 97 citations
14. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
15. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
16. Foundational Challenges in Assuring Alignment and Safety of Large Language ModelsarXiv:2404.09932Usman Anwar, Abulhair Saparov, Javier Rando, et al.2024 · 87 citations
17. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
18. A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?arXiv:2503.24235Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.2025 · 79 citations
19. Reinforcement Learning via Self-DistillationarXiv:2601.20802Jonas Hubotter, Frederike Lubeck, Lejs Behric, et al.2026 · 74 citations
20. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
21. EuroLLM-9B: Technical ReportarXiv:2506.04079Pedro Henrique Martins, Joao Alves, Patrick Fernandes, et al.2025 · 45 citations
22. SEA-LION: Southeast Asian Languages in One NetworkInternational Joint Conference on Natural Language Processing (IJCNLP)Raymond Ng, Thanh Ngan Nguyen, Huang Yuli, et al.2025 · 29 citations
23. An AI system to help scientists write expert-level empirical softwareNatureEser Aygün, Anastasiya Belyaeva, Gheorghe Comanici, et al.2025 · 27 citations
24. Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
25. ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error DetectionFindings of the Association for Computational LinguisticsYibo Yan, Shen Wang, Jiahao Huo, et al.2026 · 23 citations
26. How Likely Do LLMs with CoT Mimic Human Reasoning?International Conference on Computational Linguistics (COLING)Guangsheng Bao, Hongbo Zhang, Cunxiang Wang, et al.2025 · 22 citations
27. A Survey on Evaluation of LLM-based AgentsFindings of the Association for Computational LinguisticsAsaf Yehudai, Lilach Eden, Alan Li, et al.2026 · 21 citations
28. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
29. “Give Me BF16 or Give Me Death”? Accuracy-Performance Trade-Offs in LLM QuantizationAnnual Meeting of the Association for Computational Linguistics (ACL)Eldar Kurtic, Alexandre Noll Marques, Shubhra Pandit, et al.2025 · 21 citations
30. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
31. Command R7B Arabic: a small, enterprise-focused, multilingual, and culturally aware Arabic LLMWorkshop on African Natural Language ProcessingYazeed Alnumay, Alexandre Barbet, Anna Bialas, et al.2025 · 18 citations
32. MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
33. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
34. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
35. 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
36. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
37. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
38. JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language ModelsarXiv:2501.14851Michael K. Chen, Xikun Zhang, Dacheng Tao2025 · 10 citations
39. 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
40. Reinforcement Learning for Self-Improving Agent with Skill LibraryAnnual Meeting of the Association for Computational Linguistics (ACL)Jiongxiao Wang, Qiaojing Yan, Yawei Wang, et al.2026 · 8 citations
41. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
42. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
43. CreativeBench: Benchmarking and Enhancing Machine Creativity via Self-Evolving ChallengesFindings of the Association for Computational LinguisticsZihan Wang, Lam Nguyen, Zhengyang Zhao, et al.2026 · 6 citations
44. Explain in Your Own Words: Improving Reasoning via Token-Selective Dual Knowledge DistillationarXiv:2603.13260Minsang Kim, Seung Jun Baek2026 · 6 citations
45. AutoSOTA: An End-to-End Automated Research System for State-of-the-Art AI Model DiscoveryarXiv:2604.05550Yu Li, Chenyang Shao, Xinyang Liu, et al.2026 · 5 citations
46. 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
47. The DISRPT 2025 Shared Task on Elementary Discourse Unit Segmentation, Connective Detection, and Relation ClassificationShared Task on Discourse Relation Parsing and TreebankingChloé Braud, Amir Zeldes, Chuyuan Li, et al.2025 · 5 citations
48. Do Not Step Into the Same River Twice: Learning to Reason from Trial and ErrorAnnual Meeting of the Association for Computational Linguistics (ACL)Chenming Tang, Hsiu-Yuan Huang, Weijie Liu, et al.2026 · 3 citations
49. Can We Predict Before Executing Machine Learning Agents?Annual Meeting of the Association for Computational Linguistics (ACL)Jingsheng Zheng, Jintian Zhang, Yujie Luo, et al.2026 · 2 citations
50. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation
51. Can AI Be a Good Peer Reviewer? A Survey of Peer Review Process, Evaluation, and the FutureAnnual Meeting of the Association for Computational Linguistics (ACL)Sihong Wu, Owen Jiang, Yilun Zhao, et al.2026 · 1 citation
52. LitVISTA: A Benchmark for Narrative Orchestration in Literary TextAnnual Meeting of the Association for Computational Linguistics (ACL)Mingzhe Lu, Yiwen Wang, Yanbing Liu, et al.2026 · 1 citation
53. Logic Haystacks: Probing LLMs' Long-Context Logical Reasoning (Without Easily Identifiable Unrelated Padding)Conference of the European Chapter of the Association for Computational Linguistics (EACL)Damien Sileo2026 · 1 citation
54. What Makes an LLM a Good Optimizer? A Trajectory Analysis of LLM-Guided Evolutionary SearchFindings of the Association for Computational LinguisticsXinhao Zhang, Xi Chen, François Portet, et al.2026 · 1 citation
55. A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Tianyu Yang, Sihong Wu, Yilun Zhao, et al.2026
56. AdaptEvolve: Improving Efficiency of Evolutionary AI Agents through Adaptive Model SelectionFindings of the Association for Computational LinguisticsPretam Ray, Pratik Prabhanjan Brahma, Zicheng Liu, et al.2026
57. AgentFactory: A Self-Evolving Framework Through Executable Subagent Accumulation and ReuseAnnual Meeting of the Association for Computational Linguistics (ACL)Zhang Zhang, Shuqi Lu, Hongjin Qian, et al.2026
58. AlphaContext: An Evolutionary Tree-based Psychometric Context Generator for Creativity AssessmentAnnual Meeting of the Association for Computational Linguistics (ACL)Yixuan Wang, Yue Huang, Hong Qian, et al.2026
59. Are My Optimized Prompts Compromised? Exploring Vulnerabilities of LLM-based OptimizersConference of the European Chapter of the Association for Computational Linguistics (EACL)Andrew Zhao, Reshmi Ghosh, Vitor R. Carvalho, et al.2026
60. Auditing Discovery Claims: A Two-Sided Criterion for Agentic Science, with the Negative Side DecidablearXiv:2608.00981Wenhui Chen, Jianlin Chen, Ziyao Lin, et al.2026
61. Beyond the Singular: Revealing the Value of Multiple Generations in Benchmark EvaluationFindings of the Association for Computational LinguisticsWenbo Zhang, Hengrui Cai, Wenyu Chen2026
62. Demystify the Role of Memory in Machine Learning Engineering AgentsFindings of the Association for Computational LinguisticsXinyu Zhao, Junpeng Wang, Yuzhong Chen, et al.2026
63. Evolutionary Search for Automated Design of Uncertainty Quantification MethodsAnnual Meeting of the Association for Computational Linguistics (ACL)Mikhail Seleznyov, Daniil Korbut, Viktor Moskvoretskii, et al.2026
64. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
65. Open Problems Solved by LLMs? A Survey of Verifiable Mathematical DiscoveryBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas, Aifen Sui2026
66. Output-Space Search: Targeting LLM Generations in a Frozen Encoder-Defined Output SpaceWorkshop on Structured Understanding, Retrieval, and Generation in the LLM EraTobias Materzok2026
67. Parallelism and Generation Order in Masked Diffusion Language Models: Limits Today, Potential TomorrowFindings of the Association for Computational LinguisticsYangyang Zhong, Yanmei Gu, Zhengqing Zang, et al.2026
68. Preference Optimization for Review Question Generation Improves Writing QualityFindings of the Association for Computational LinguisticsKarun Sharma, Vidushee Vats, Shengzhi LI, et al.2026
69. PyraMathBench: Evaluating and Improving Mathematical Capability in Large Language ModelsFindings of the Association for Computational LinguisticsZetian Ouyang, Linlin Wang, Gerard de Melo, et al.2026

332 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/swarat-chaudhuri/cited-by/