Elamur Research⌕
☰
home / authors / Theo X. Olausson

Theo X. Olausson

Theo X. Olausson has 2 papers in our library, in 2023–2024, most of them on Language models & pretraining, Reasoning, Code & programming languages; often with Armando Solar-Lezama, Alex Gu, Benjamin Lipkin.

2 papers in our library · 2023–2024

OpenAlex · ORCID · h-index 4 · 15 works · 117 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 192 times in our library · ⭐ Paper Stars ranking: #5940

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Massachusetts Institute of TechnologyCambridge · United States2023–2026 · 9 paperscurrent🔬MIT Computer Science and Artificial Intelligence LaboratoryCambridge · United States2023–2024 · 4 papers🎓University of EdinburghEdinburgh · United Kingdom2020–2022 · 3 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 8The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 1 workLanguage and Linguistics · 1 workArts and Humanities · 1 workMathematics · 1 workComputer Science Applications · 1 workInformation Systems · 1 workSoftware · 1 work

🧭 Topics 3Research subjects and languages the work is about.Code & programming languages · 1 workLanguage models & pretraining · 1 workReasoning · 1 work

 Works by year

2020s

20241 paper20231 paper

 Papers

The most cited first (OpenAlex and our library).

  1. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers (2023 · 172 citations)
    Large language models often reason unreliably when asked to decide whether a conclusion follows from a set of premises.
  2. Is Self-Repair a Silver Bullet for Code Generation? (2024 · 82 citations)
    The paper asks whether letting a language model debug and fix its own code is actually worth the extra compute, compared with drawing more independent samples.

 Co-authors here

8 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 192 times (of the 149,439 papers whose bibliographies we read); 42 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/theo-x-olausson/