🧑‍🔬 Who cites Theo X. Olausson

192 citations of their works from 190 papers of our library (of the 149,439 whose bibliographies we read) · 42 with a page here, the most cited first · ← Theo X. Olausson

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. Large Language Models as OptimizersarXiv:2309.03409Chengrun Yang, Xuezhi Wang, Yifeng Lu, et al.2023 · 413 citations
3. Large Language Models Cannot Self-Correct Reasoning YetarXiv:2310.01798Jie Huang, Xinyun Chen, Swaroop Mishra, et al.2023 · 412 citations
4. A Survey on Large Language Models for Code GenerationACM Transactions on Software Engineering and MethodologyJuyong Jiang, Fan Wang, Jiasi Shen, et al.2024 · 367 citations
5. FOLIO: Natural Language Reasoning with First-Order LogicarXiv:2209.00840Simeng Han, Hailey Schoelkopf, Yilun Zhao, et al.2022 · 219 citations
6. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citations
7. When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMsTransactions of the Association for Computational Linguistics (TACL)Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.2024 · 161 citations
8. Training Language Models to Self-Correct via Reinforcement LearningarXiv:2409.12917Aviral Kumar, Vincent Zhuang, Rishabh Agarwal, et al.2024 · 159 citations
9. Unleashing the Emergent Cognitive Synergy in Large Language Models: A Task-Solving Agent through Multi-Persona Self-CollaborationarXiv:2307.05300Zhenhailong Wang, Shaoguang Mao, Wenshan Wu, et al.2023 · 140 citations
10. 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
11. Faithful Logical Reasoning via Symbolic Chain-of-ThoughtAnnual Meeting of the Association for Computational Linguistics (ACL)Jundong Xu, Hao Fei, Liangming Pan, et al.2024 · 129 citations
12. Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and FuturearXiv:2309.15402Zheng Chu, Jingchang Chen, Qianglong Chen, et al.2023 · 125 citations
13. CRUXEval: A Benchmark for Code Reasoning, Understanding and ExecutionarXiv:2401.03065Alex Gu, Baptiste Rozière, Hugh Leather, et al.2024 · 122 citations
14. Agentless: Demystifying LLM-based Software Engineering AgentsarXiv:2407.01489Chunqiu Steven Xia, Yinlin Deng, Soren Dunn, et al.2024 · 117 citations
15. 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
16. 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
17. From Decoding to Meta-Generation: Inference-time Algorithms for Large Language ModelsarXiv:2406.16838Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.2024 · 51 citations
18. RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement LearningarXiv:2410.02089Jonas Gehring, Kunhao Zheng, Jade Copet, et al.2024 · 51 citations
19. Puzzle Solving using Reasoning of Large Language Models: A SurveyConference on Empirical Methods in Natural Language Processing (EMNLP)Panagiotis Giadikiaroglou, Maria Lymperaiou, Giorgos Filandrianos, et al.2024 · 48 citations
20. Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Nisarg Patel, Mohith Kulkarni, Mihir Parmar, et al.2024 · 39 citations
21. CodeTree: Agent-guided Tree Search for Code Generation with Large Language ModelsConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Jierui Li, Hung Le, Yingbo Zhou, et al.2025 · 21 citations
22. Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve FrameworkAnnual Meeting of the Association for Computational Linguistics (ACL)Jundong Xu, Hao Fei, Meng Luo, et al.2025 · 16 citations
23. Theory of Mind in Large Language Models: Assessment and EnhancementAnnual Meeting of the Association for Computational Linguistics (ACL)Ruirui Chen, Weifeng Jiang, Chengwei Qin, et al.2025 · 16 citations
24. Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy DetectionarXiv:2405.02318Abhinav Lalwani, Tasha Kim, Lovish Chopra, et al.2024 · 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. 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
27. 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
28. 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
29. MetaScale: Test-Time Scaling with Evolving Meta-ThoughtsFindings of the Association for Computational LinguisticsQin Liu, Wenxuan Zhou, Nan Xu, et al.2026 · 7 citations
30. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language ModelsFindings of the Association for Computational LinguisticsRizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.2026 · 3 citations
31. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
32. MedDCR: Learning to Design Agentic Workflows for Medical CodingFindings of the Association for Computational LinguisticsJiyang Zheng, Islam Nassar, Thanh Vu, et al.2026 · 2 citations
33. Towards Controllable Natural Language Inference through Lexical Inference TypesarXiv:2308.03581Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.2023 · 2 citations
34. Constructing coherent spatial memory in LLM agents through graph rectificationAnnual Meeting of the Association for Computational Linguistics (ACL)Puzhen Zhang, Xuyang Chen, Yu Feng, et al.2026 · 1 citation
35. YNU-NLP at SemEval-2026 Task 11: A Neuro-Symbolic Approach with Reflexion Mechanism Disentangling Content and Formal Reasoning in Language ModelsInternational Workshop on Semantic Evaluation (SemEval)Yu Wang, You Zhang, Hao Zhang, et al.2026 · 1 citation
36. From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem ProvingBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas2026
37. Improving Chain-of-Thought for Logical Reasoning via Attention-Aware InterventionFindings of the Association for Computational LinguisticsPhuong Minh Nguyen, Dang Huu-Tien, Naoya Inoue2026
38. NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question AnsweringFindings of the Association for Computational LinguisticsVishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, et al.2026
39. PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAGFindings of the Association for Computational LinguisticsYuyin Zhou, Yongmei Liu2026
40. PUPPET: Neural-Symbolic Standardized Patients for Mental HealthAnnual Meeting of the Association for Computational Linguistics (ACL)Chen Xu, Yu Ji, Zhenyu Lyu, et al.2026
41. Signals Are Not States: Neuro-Symbolic Safeguards for Culturally Aware Classroom AIWorkshop on Stereotypes Across Cultures in Language TechnologiesBagheri Nezhad, Sina2026
42. Survey on Code Generation with LLM-based Agents (基于大语言模型智能体的代码生成综述)Journal of SoftwareYihong Dong (董益宏), Xue Jiang (姜雪), Jiaru Qian (钱家如), et al.2025

148 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/theo-x-olausson/cited-by/