Theo X. Olausson

12 papers A* 2Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Amortizing Maximum Inner Product Search with Learned Support Functions.
CoRR
Theo X. Olausson, João Monteiro, Michal Klein, Marco Cuturi
2026 J jnl
The Design Space of Tri-Modal Masked Diffusion Models.
CoRR
Louis Béthune, Victor Turrisi, Bruno Kacper Mlodozeniec, Pau Rodríguez López, Lokesh Boominathan, Nikhil Bhendawade, Amitis Shidani, Joris Pelemans, Theo X. Olausson, R. Devon Hjelm, Paul Dixon, João Monteiro, Pierre Ablin, Vishnu Banna, Arno Blaas, Nick Henderson, Kari Noriy, Dan Busbridge, Joshua M. Susskind, Marco Cuturi, Irina Belousova, Luca Zappella, Russ Webb, Jason Ramapuram
2025 J jnl
Learning Unmasking Policies for Diffusion Language Models.
CoRR
Metod Jazbec, Theo X. Olausson, Louis Béthune, Pierre Ablin, Michael Kirchhof, João Monteiro, Victor Turrisi, Jason Ramapuram, Marco Cuturi
2024 A* conf
Is Self-Repair a Silver Bullet for Code Generation?
ICLR
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
2024 A* conf
LILO: Learning Interpretable Libraries by Compressing and Documenting Code.
ICLR
Gabriel Grand, Lionel Wong, Matthew Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
2024 J jnl
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
CoRR
Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
2023 J jnl
Demystifying GPT Self-Repair for Code Generation.
CoRR
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
2023 J jnl
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols.
IEEE Micro
Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin, Vasilis Gavrielatos, Theo X. Olausson, Reece Carr
2023 J jnl
LILO: Learning Interpretable Libraries by Compressing and Documenting Code.
CoRR
Gabriel Grand, Lionel Wong, Matthew Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
2023 J jnl
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.
CoRR
Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
2023 J jnl
Top-Down Synthesis for Library Learning.
Proc. ACM Program. Lang.
Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
2022 J jnl
Top-Down Synthesis for Library Learning.
CoRR
Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama