Login / Signup
Theo Olausson
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 5
Top Topics
Quantitative Analysis
Test Collection
Logical Reasoning
Language Model
Top Venues
EMNLP
ACL (Findings)
CoRR
SEC
</>
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)