0

Theo X. Olausson

Papers
3

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
3papers

Authored papers

3

LILO: Learning Interpretable Libraries by Compressing and Documenting Code

arXiv 2023

2023

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

arXiv 2023

2023

Is Self-Repair a Silver Bullet for Code Generation?

arXiv 2023

2023

Affiliations

No known affiliations.

Frequent co-authors

10

from 3 papers

Armando Solar-Lezama

professor

2 shared papers

Joshua B. Tenenbaum

2 shared papers

Alex Gu

grad-student

1 shared paper

Benjamin Lipkin

1 shared paper

Cedegao E. Zhang

1 shared paper

Chenglong Wang

1 shared paper

Gabriel Grand

1 shared paper

Jacob Andreas

1 shared paper

Jeevana Priya Inala

1 shared paper

Jianfeng Gao

1 shared paper