Theo Olausson

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Quantitative Analysis

Test Collection

Logical Reasoning

Top Venues

Publications

Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL (Findings) (2024)
Theo 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. EMNLP (2023)
Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin, Vasilis Gavrielatos, Theo Olausson, Reece Carr
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols. HPCA (2022)
Sebastian Müksch, Theo Olausson, John Wilhelm, Pavlos Andreadis
Benchmarking the Accuracy of Algorithms for Memory-Constrained Image Classification. SEC (2020)
Sebastian Müksch, Theo Olausson, John Wilhelm, Pavlos Andreadis
Quantitative Analysis of Image Classification Techniques for Memory-Constrained Devices. CoRR (2020)