Sign in
Theo Olausson
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Transitive Closure
Quantitative Analysis
Markov Networks
Run Times
Top Venues
EMNLP
CoRR
SEC
HPCA
</>
Publications
</>
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)