Concepedia

Author

Theo Olausson

Cornell UniversityORCID

Also Known As

Olausson, Theo, Olausson, Theo X., Theo Olausson, Theo X. Olausson

10

Publications

75

Citations

4

H-Index

13

Concepts

All Affiliations

Cornell University
TO

About

Theo Olausson is an author at Cornell University specializing in computational linguistics, language studies, and linguistics.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

27

2

Language Studies

1

1

27

3

Computer Science

1

1

27

4

Linguistics

1

1

27

5

Artificial Intelligence

1

1

27

Theo Olausson

×

3

Publications

66

Citations

3

H-Index

YearCitations

Top-Down Synthesis for Library Learning

Matthew L. Bowers, Theo Olausson, Lionel Wong,

Proceedings of the ACM on Programming Languages

2023

28

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Theo Olausson, Alex Gu, Benjamin Lipkin,

2023

27

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols

Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin,

2022

11

Page 1