Theo X. Olausson

Orcid: 0000-0001-6653-2227

According to our database¹, Theo X. Olausson authored at least 9 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?

[BibT_eX]

[DOI]

CoRR, 2024

2023

Top-Down Synthesis for Library Learning.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols.

[BibT_eX]

[DOI]

IEEE Micro, 2023

LILO: Learning Interpretable Libraries by Compressing and Documenting Code.

[BibT_eX]

[DOI]

CoRR, 2023

Demystifying GPT Self-Repair for Code Generation.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

Top-Down Synthesis for Library Learning.

[BibT_eX]

[DOI]

CoRR, 2022

2020

Quantitative Analysis of Image Classification Techniques for Memory-Constrained Devices.

[BibT_eX]

[DOI]

CoRR, 2020

Benchmarking the Accuracy of Algorithms for Memory-Constrained Image Classification.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM Symposium on Edge Computing, 2020

Theo X. Olausson

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...