Benchmarking the Accuracy of Algorithms for Memory-Constrained Image Classification. - Sebastian Müksch; Theo Olausson; John Wilhelm; Pavlos Andreadis (SEC, 2020)

Quantitative Analysis of Image Classification Techniques for Memory-Constrained Devices. - Sebastian Müksch; Theo Olausson; John Wilhelm; Pavlos Andreadis (CoRR, 2020)

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols. - Nicolai Oswald; Vijay Nagarajan; Daniel J. Sorin; Vasilis Gavrielatos; Theo Olausson; Reece Carr (HPCA, 2022)

Top-Down Synthesis for Library Learning. - Matthew Bowers; Theo X. Olausson; Catherine Wong; Gabriel Grand; Joshua B. Tenenbaum; Kevin Ellis; Armando Solar-Lezama (CoRR, 2022)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. - Theo Olausson; Alex Gu; Benjamin Lipkin; Cedegao E. Zhang; Armando Solar-Lezama; Joshua B. Tenenbaum; Roger Levy (EMNLP, 2023)

Demystifying GPT Self-Repair for Code Generation. - Theo X. Olausson; Jeevana Priya Inala; Chenglong Wang; Jianfeng Gao 001; Armando Solar-Lezama (CoRR, 2023)

Top-Down Synthesis for Library Learning. - Matthew Bowers; Theo X. Olausson; Lionel Wong; Gabriel Grand; Joshua B. Tenenbaum; Kevin Ellis; Armando Solar-Lezama (Proc. ACM Program. Lang., 2023)

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? - Alex Gu; Wen-Ding Li; Naman Jain; Theo Olausson; Celine Lee; Koushik Sen; Armando Solar-Lezama (ACL (Findings), 2024)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code. - Gabriel Grand; Lionel Wong; Matthew Bowers; Theo X. Olausson; Muxin Liu; Joshua B. Tenenbaum; Jacob Andreas (ICLR, 2024)

Is Self-Repair a Silver Bullet for Code Generation? - Theo X. Olausson; Jeevana Priya Inala; Chenglong Wang; Jianfeng Gao 001; Armando Solar-Lezama (ICLR, 2024)