---
title: "Who cites Theo X. Olausson — 190 papers of our library"
description: "190 papers of the Elamur Research library cite the works of Theo X. Olausson, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/theo-x-olausson/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/theo-x-olausson/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Theo X. Olausson](https://md.research.elamur.ai/free/en/authors/theo-x-olausson/) / cited by

# 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](https://md.research.elamur.ai/free/en/authors/theo-x-olausson/)

1. [**LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code arXiv:2403.07974**Naman Jain, King Han, Alex Gu, et al.*2024 · 578 citations*](https://md.research.elamur.ai/free/en/papers/jain-2024-livecodebench-holistic-contamination-free-evaluation/)
2. [**Large Language Models as Optimizers arXiv:2309.03409**Chengrun Yang, Xuezhi Wang, Yifeng Lu, et al.*2023 · 413 citations*](https://md.research.elamur.ai/free/en/papers/yang-2023-large-language-models-optimizers/)
3. [**Large Language Models Cannot Self-Correct Reasoning Yet arXiv:2310.01798**Jie Huang, Xinyun Chen, Swaroop Mishra, et al.*2023 · 412 citations*](https://md.research.elamur.ai/free/en/papers/huang-2023-large-language-models-cannot-self/)
4. **[A Survey on Large Language Models for Code Generation](https://md.research.elamur.ai/free/en/papers/jiang-2024-survey-large-language-models-code/) [ACM Transactions on Software Engineering and Methodology](https://md.research.elamur.ai/free/en/venues/acm-transactions-on-software-engineering-and-methodology/)**Juyong Jiang, Fan Wang, Jiasi Shen, et al.*2024 · 367 citations*
5. [**FOLIO: Natural Language Reasoning with First-Order Logic arXiv:2209.00840**Simeng Han, Hailey Schoelkopf, Yilun Zhao, et al.*2022 · 219 citations*](https://md.research.elamur.ai/free/en/papers/han-2022-folio-natural-language-reasoning-first/)
6. **[LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/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 LLMs](https://md.research.elamur.ai/free/en/papers/kamoi-2024-when-can-llms-actually-correct/) [Transactions of the Association for Computational Linguistics (TACL)](https://md.research.elamur.ai/free/en/venues/tacl/)**Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.*2024 · 161 citations*
8. [**Training Language Models to Self-Correct via Reinforcement Learning arXiv:2409.12917**Aviral Kumar, Vincent Zhuang, Rishabh Agarwal, et al.*2024 · 159 citations*](https://md.research.elamur.ai/free/en/papers/kumar-2024-training-language-models-self-correct/)
9. [**Unleashing the Emergent Cognitive Synergy in Large Language Models: A Task-Solving Agent through Multi-Persona Self-Collaboration arXiv:2307.05300**Zhenhailong Wang, Shaoguang Mao, Wenshan Wu, et al.*2023 · 140 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-unleashing-emergent-cognitive-synergy-large/)
10. [**To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning arXiv:2409.12183**Zayne Sprague, Fangcong Yin, Juan Diego Rodriguez, et al.*2024 · 138 citations*](https://md.research.elamur.ai/free/en/papers/sprague-2024-cot-cot-chain-thought-helps/)
11. **[Faithful Logical Reasoning via Symbolic Chain-of-Thought](https://md.research.elamur.ai/free/en/papers/xu-2024-faithful-logical-reasoning-symbolic-chain/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Future arXiv:2309.15402**Zheng Chu, Jingchang Chen, Qianglong Chen, et al.*2023 · 125 citations*](https://md.research.elamur.ai/free/en/papers/chu-2023-navigate-through-enigmatic-labyrinth-survey/)
13. [**CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution arXiv:2401.03065**Alex Gu, Baptiste Rozière, Hugh Leather, et al.*2024 · 122 citations*](https://md.research.elamur.ai/free/en/papers/gu-2024-cruxeval-benchmark-code-reasoning-understanding/)
14. [**Agentless: Demystifying LLM-based Software Engineering Agents arXiv:2407.01489**Chunqiu Steven Xia, Yinlin Deng, Soren Dunn, et al.*2024 · 117 citations*](https://md.research.elamur.ai/free/en/papers/xia-2024-agentless-demystifying-llm-based/)
15. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/)
16. **[Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving](https://md.research.elamur.ai/free/en/papers/quan-2024-verification-refinement-natural-language-explanations/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/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 Models arXiv:2406.16838**Sean Welleck, Amanda Bertsch, Matthew Finlayson, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2024-decoding-meta-generation-inference-time/)
18. [**RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learning arXiv:2410.02089**Jonas Gehring, Kunhao Zheng, Jade Copet, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/gehring-2024-rlef-grounding-code-llms-execution/)
19. **[Puzzle Solving using Reasoning of Large Language Models: A Survey](https://md.research.elamur.ai/free/en/papers/giadikiaroglou-2024-puzzle-solving-reasoning-large-language/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/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 Models](https://md.research.elamur.ai/free/en/papers/patel-2024-multi-logieval-evaluating-multi-step/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Nisarg Patel, Mohith Kulkarni, Mihir Parmar, et al.*2024 · 39 citations*
21. **[CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models](https://md.research.elamur.ai/free/en/papers/li-2025-codetree-agent-guided-tree-search/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Jierui Li, Hung Le, Yingbo Zhou, et al.*2025 · 21 citations*
22. **[Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework](https://md.research.elamur.ai/free/en/papers/xu-2025-aristotle-mastering-logical-reasoning-logic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jundong Xu, Hao Fei, Meng Luo, et al.*2025 · 16 citations*
23. **[Theory of Mind in Large Language Models: Assessment and Enhancement](https://md.research.elamur.ai/free/en/papers/chen-2025-theory-mind-large-language-models/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Detection arXiv:2405.02318**Abhinav Lalwani, Tasha Kim, Lovish Chopra, et al.*2024 · 15 citations*](https://md.research.elamur.ai/free/en/papers/lalwani-2024-autoformalizing-natural-language-first-order/)
25. [**From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging arXiv:2410.01215**Yuling Shi, Songsong Wang, Chengcheng Wan, et al.*2024 · 15 citations*](https://md.research.elamur.ai/free/en/papers/shi-2024-code-correctness-closing-last-mile/)
26. **[CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/leang-2025-comat-chain-mathematically-annotated-thought/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen*2025 · 14 citations*
27. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Reasoning](https://md.research.elamur.ai/free/en/papers/singh-2025-exposing-achilles-heel-evaluating-llms/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joykirat Singh, Akshay Nambi, Vibhav Vineet*2025 · 8 citations*
29. **[MetaScale: Test-Time Scaling with Evolving Meta-Thoughts](https://md.research.elamur.ai/free/en/papers/liu-2026-metascale-test-time-scaling-evolving/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Qin 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 Models](https://md.research.elamur.ai/free/en/papers/putra-2026-nl2logic-ast-guided-translation-natural/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Rizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.*2026 · 3 citations*
31. **[Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition](https://md.research.elamur.ai/free/en/papers/xu-2026-adaptive-llm-symbolic-reasoning-dynamic/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Lei Xu, Pierre Beckmann, Marco Valentino, et al.*2026 · 2 citations*
32. **[MedDCR: Learning to Design Agentic Workflows for Medical Coding](https://md.research.elamur.ai/free/en/papers/zheng-2026-meddcr-learning-design-agentic-workflows/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Jiyang Zheng, Islam Nassar, Thanh Vu, et al.*2026 · 2 citations*
33. [**Towards Controllable Natural Language Inference through Lexical Inference Types arXiv:2308.03581**Yingji Zhang, Danilo S. Carvalho, Ian Pratt-Hartmann, et al.*2023 · 2 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2023-towards-controllable-natural-language-inference/)
34. **[Constructing coherent spatial memory in LLM agents through graph rectification](https://md.research.elamur.ai/free/en/papers/zhang-2026-constructing-coherent-spatial-memory-llm/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/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 Models](https://md.research.elamur.ai/free/en/papers/wang-2026-ynu-nlp-semeval-2026-task/) [International Workshop on Semantic Evaluation (SemEval)](https://md.research.elamur.ai/free/en/venues/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 Proving](https://md.research.elamur.ai/free/en/papers/tzachristas-2026-natural-language-certified-geometry-proofs/) [Big Picture v2: Crafting a Research Narrative](https://md.research.elamur.ai/free/en/venues/bigpicture/)**Ioannis Tzachristas, Georgios Tzachristas*2026*
37. **[Improving Chain-of-Thought for Logical Reasoning via Attention-Aware Intervention](https://md.research.elamur.ai/free/en/papers/nguyen-2026-improving-chain-thought-logical-reasoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Phuong Minh Nguyen, Dang Huu-Tien, Naoya Inoue*2026*
38. **[NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering](https://md.research.elamur.ai/free/en/papers/pramanik-2026-nsf-cot-neuro-symbolic-formal/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, et al.*2026*
39. **[PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG](https://md.research.elamur.ai/free/en/papers/zhou-2026-prefrag-correcting-semantic-errors-auto/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuyin Zhou, Yongmei Liu*2026*
40. **[PUPPET: Neural-Symbolic Standardized Patients for Mental Health](https://md.research.elamur.ai/free/en/papers/xu-2026-puppet-neural-symbolic-standardized-patients/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chen Xu, Yu Ji, Zhenyu Lyu, et al.*2026*
41. **[Signals Are Not States: Neuro-Symbolic Safeguards for Culturally Aware Classroom AI](https://md.research.elamur.ai/free/en/papers/nezhad-2026-signals-are-not-states-neuro/) [Workshop on Stereotypes Across Cultures in Language Technologies](https://md.research.elamur.ai/free/en/venues/stereacult/)**Bagheri Nezhad, Sina*2026*
42. **[Survey on Code Generation with LLM-based Agents (基于大语言模型智能体的代码生成综述)](https://md.research.elamur.ai/free/en/papers/dong-2025-code-generation-llm/) [Journal of Software](https://md.research.elamur.ai/free/en/venues/journal-of-software/)**Yihong Dong (董益宏), Xue Jiang (姜雪), Jiaru Qian (钱家如), et al.*2025*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/theo-x-olausson/) — Theo X. Olausson