Get started
Author

Theo Olausson

Observed names: Olausson, Theo, Olausson, Theo X., Theo X. Olausson
ORCID: 0000-0001-6653-2227
Observed ORCID: 0000-0001-6653-2227
OpenAlex ID: A5035758082
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
2023 · Theo Olausson, Alex Gu, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 57
PDF
Top-Down Synthesis for Library Learning
2023 · Matthew Bowers, Theo X. Olausson, et al. · Proceedings of the ACM on Programming Languages · 33
PDF
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols
2022 · Nicolai Oswald, Vijay Nagarajan, et al. · Proceedings - International Symposium on High-Performance Computer Architecture/Proceedings · 15
PDF
Is Self-Repair a Silver Bullet for Code Generation?
2023 · Olausson, Theo X., Inala, Jeevana Priya, et al. · arXiv (Cornell University) · 13
PDF
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
2024 · Alex Gu, Wen-Ding Li, et al. · 3
PDF
LILO: Learning Interpretable Libraries by Compressing and Documenting Code
2023 · Grand, Gabriel, Wong, Lionel, et al. · arXiv (Cornell University) · 2
PDF
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols
2023 · Nicolai Oswald, Vijay Nagarajan, et al. · IEEE Micro · 1
Benchmarking the Accuracy of Algorithms for Memory-Constrained Image Classification
2020 · Sebastian MUksch, Theo Olausson, et al. · IEEE/ACM Symposium on Edge Computing (SEC) · 1
Quantitative Analysis of Image Classification Techniques for Memory-Constrained Devices
2020 · Müksch, Sebastian, Olausson, Theo, et al. · arXiv (Cornell University) · 1
PDF
Conformal Language Modeling via Posterior Sampling
2026 · Emmenegger, Nicolas, Olausson, Theo X., et al. · arXiv (Cornell University)
PDF
A Tale of Two Temperatures: Simple, Efficient, and Diverse Sampling from Diffusion Language Models
2026 · Olausson, Theo X., Jazbec, Metod, et al. · arXiv (Cornell University)
PDF
Amortized Maximum Inner Product Search with Learned Support Functions
2026 · Olausson, Theo X., Monteiro, João, et al. · arXiv (Cornell University)
PDF
The Design Space of Tri-Modal Masked Diffusion Models
2026 · Bethune, Louis, Turrisi, Victor, et al. · arXiv (Cornell University)
PDF
Learning Unmasking Policies for Diffusion Language Models
2025 · Jazbec, Metod, Olausson, Theo X., et al. · arXiv (Cornell University)
PDF
Works count: 15
Citation count: 126
H-index: 4
I10-index: 4
Year
Topic
Type