🧑‍🔬 Who cites Gabriel Poesia

206 citations of their works from 190 papers of our library (of the 149,439 whose bibliographies we read) · 44 with a page here, the most cited first · ← Gabriel Poesia

1. LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for CodearXiv:2403.07974Naman Jain, King Han, Alex Gu, et al.2024 · 578 citations
2. 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
3. Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningarXiv:2305.12295Liangming Pan, Alon Albalak, Xinyi Wang, et al.2023 · 374 citations
4. Self-collaboration Code Generation via ChatGPTACM Transactions on Software Engineering and MethodologyYihong Dong; Xue Jiang; Zhi Jin;, Ge Li2023 · 319 citations
5. Large Language Models for Mathematical Reasoning: Progresses and ChallengesConference of the European Chapter of the Association for Computational Linguistics (EACL)Janice Ahn, Rishu Verma, Renze Lou, et al.2024 · 280 citations
6. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
7. Tool Learning with Large Language Models: A SurveyFrontiers of Computer ScienceChangle Qu, Sunhao Dai, Xiaochi Wei, et al.2024 · 195 citations
8. 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
9. ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool EmbeddingsConference on Neural Information Processing Systems (NeurIPS)Shibo Hao, Tianyang Liu, Zhen Wang, et al.2023 · 147 citations
10. Can Language Models Solve Graph Problems in Natural Language?Conference on Neural Information Processing Systems (NeurIPS)Heng Wang, Shangbin Feng, Tianxing He, et al.2023 · 124 citations
11. 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
12. Quiet-STaR: Language models can teach themselves to think before speaking2024 · 122 citations
13. Large Language Models as General Pattern MachinesarXiv:2307.04721Suvir Mirchandani, Fei Xia, Pete Florence, et al.2023 · 88 citations
14. Large Language Models as Analogical ReasonersarXiv:2310.01714Michihiro Yasunaga, Xinyun Chen, Yujia Li, et al.2023 · 74 citations
15. MuSR: Testing the Limits of Chain-of-thought with Multistep Soft ReasoningInternational Conference on Learning Representations (ICLR)Zayne Sprague, Xi Ye, Kaj Bostrom, et al.2023 · 74 citations
16. Evaluation of OpenAI o1: Opportunities and Challenges of AGIarXiv:2409.18486Tianyang Zhong, Zhengliang Liu, Yi Pan, et al.2024 · 64 citations
17. SatLM: Satisfiability-Aided Language Models Using Declarative PromptingConference on Neural Information Processing Systems (NeurIPS)Xi Ye, Qiaochu Chen, Isil Dillig, et al.2023 · 62 citations
18. Absolute Zero: Reinforced Self-play Reasoning with Zero DataConference on Neural Information Processing Systems (NeurIPS)Andrew Zhao, Yiran Wu, Yang Yue, et al.2025 · 57 citations
19. Constitutional Classifiers: Defending against Universal Jailbreaks across Thousands of Hours of Red TeamingarXiv:2501.18837Mrinank Sharma, Meg Tong, Jesse Mu, et al.2025 · 29 citations
20. Can Language Models Solve Olympiad Programming?arXiv:2404.10952Quan Shi, Michael Tang, Karthik Narasimhan, et al.2024 · 28 citations
21. 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
22. Evaluating statistical language models as pragmatic reasonersarXiv:2305.01020Benjamin Lipkin, Lionel Wong, Gabriel Grand, et al.2023 · 18 citations
23. Adaptive Tool Use in Large Language Models with Meta-Cognition TriggerAnnual Meeting of the Association for Computational Linguistics (ACL)Wenjun Li, Dexun Li, Kuicai Dong, et al.2025 · 16 citations
24. 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
25. From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical DebuggingarXiv:2410.01215Yuling Shi, Songsong Wang, Chengcheng Wan, et al.2024 · 15 citations
26. Preference Optimization for Reasoning with Pseudo FeedbackarXiv:2411.16345Fangkai Jiao, Geyang Guo, Xingxing Zhang, et al.2024 · 15 citations
27. 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
28. Efficient Tool Use with Chain-of-Abstraction ReasoningInternational Conference on Computational Linguistics (COLING)Silin Gao, Jane Dwivedi-Yu, Ping Yu, et al.2025 · 13 citations
29. CodeR: Issue Resolving with Multi-Agent and Task GraphsarXiv:2406.01304Dong Chen, Shaoxin Lin, Muhan Zeng, et al.2024 · 13 citations
30. 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
31. 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
32. CodeS: Natural Language to Code Repository via Multi-Layer SketcharXiv:2403.16443Daoguang Zan, Ailun Yu, Wei Liu, et al.2024 · 9 citations
33. Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL)Joykirat Singh, Akshay Nambi, Vibhav Vineet2025 · 8 citations
34. LogicPro: Improving Complex Logical Reasoning via Program-Guided LearningAnnual Meeting of the Association for Computational Linguistics (ACL)Jin Jiang, Yuchen Yan, Yang Liu, et al.2025 · 8 citations
35. From Attack Surfaces to Actual Operations: A Survey of Modern LLM JailbreaksFindings of the Association for Computational LinguisticsRuikang Zhou, Changsheng Sun, Mark Huasong Meng2026 · 1 citation
36. Integrating Neural and Symbolic Components in a Model of Pragmatic Question-AnsweringPolina Tsvilodub, Robert D. Hawkins, Michael Franke2025 · 1 citation
37. CARL: Constraint-Aware Reinforcement Learning for Planning with LLMsFindings of the Association for Computational LinguisticsQiuyi Qi, Jinjian Zhang, Mutian Bao, et al.2026
38. Computational models of pragmatic reasoning with flexible generation of meaning and expression alternativesarXiv:2607.18443Polina Tsvilodub, Fausto Carcassi, Michael Franke2026
39. Contract-Coding: Towards Repo-Level Generation via Structured Symbolic ParadigmFindings of the Association for Computational LinguisticsYilin, Lujin Zhao, Yijie Shi2026
40. 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
41. MioFFAn: An Annotation Software for Formula Formalization with LLM Automation CapabilitiesNatural Scientific Language Processing (NSLP) @ LRECNicolas Sibuet Ruiz, Horacio Saggion, Riccardo Rossi2026
42. SD-E2: Semantic Exploration for Reasoning Under Token BudgetsFindings of the Association for Computational LinguisticsKshitij Mishra, Nils Lukas, Salem Lahlou2026
43. StealthGraph: Exposing Domain-Specific Risks in LLMs through Knowledge-Graph-Guided Harmful Prompt GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Huawei Zheng, Xinqi Jiang, Sen Yang, et al.2026
44. 🧑‍🍳 Cooking Up Creativity: Enhancing LLM Creativity through Structured RecombinationTransactions of the Association for Computational Linguistics (TACL)Moran Mizrahi, Chen Shani, Gabriel Stanovsky, et al.2026

146 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/gabriel-poesia/cited-by/