Theo X. Olausson

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Rapid Prototyping

Code Generation

Logical Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
Is Self-Repair a Silver Bullet for Code Generation? ICLR (2024)
Gabriel Grand, Lionel Wong, Matthew Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
LILO: Learning Interpretable Libraries by Compressing and Documenting Code. ICLR (2024)
Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? CoRR (2024)
Theo X. Olausson, Alex Gu, Benjamin Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger Levy
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. CoRR (2023)
Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin, Vasilis Gavrielatos, Theo X. Olausson, Reece Carr
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols. IEEE Micro 43 (4) (2023)
Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Top-Down Synthesis for Library Learning. Proc. ACM Program. Lang. 7 (POPL) (2023)
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, Armando Solar-Lezama
Demystifying GPT Self-Repair for Code Generation. CoRR (2023)
Gabriel Grand, Lionel Wong, Matthew Bowers, Theo X. Olausson, Muxin Liu, Joshua B. Tenenbaum, Jacob Andreas
LILO: Learning Interpretable Libraries by Compressing and Documenting Code. CoRR (2023)
Matthew Bowers, Theo X. Olausson, Catherine Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Top-Down Synthesis for Library Learning. CoRR (2022)