Sotabase

Career

· AI PhD Student, MIT2021–
· Intern - Machine Learning Research, Apple
· Research Intern, University of Edinburgh

Publications (22)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Conference on Empirical Methods in Natural Language Processing · 2023
204
cited
Is Self-Repair a Silver Bullet for Code Generation?
International Conference on Learning Representations · 2023
164
cited
Demystifying GPT Self-Repair for Code Generation
arXiv.org · 2023
75
cited
Top-Down Synthesis for Library Learning
Proc. ACM Program. Lang. · 2022
73
cited
LILO: Learning Interpretable Libraries by Compressing and Documenting Code
International Conference on Learning Representations · 2023
31
cited
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
Annual Meeting of the Association for Computational Linguistics · 2024
25
cited
HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols
International Symposium on High-Performance Computer Architecture · 2022
12
cited
Quantitative Analysis of Image Classification Techniques for Memory-Constrained Devices
arXiv.org · 2020
2
cited
Benchmarking the Accuracy of Algorithms for Memory-Constrained Image Classification
IFIP International Information Security Conference · 2020
1
cited
Edinburgh Research Explorer HeteroGen
Sotabase