Scholar
Amitayush Thakur
Google Scholar ID: d3XU8EAAAAAJ
University of Texas at Austin
NeuroSymbolic AI
Program Synthesis
Formal Theorem Proving
Large Language Models
ML
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
145
H-index
4
i10-index
3
Publications
5
Co-authors
4
list available
Publications
3 items
Harness as a Language: A Minimalist Agent Framework With Maximal Expressivity
2026
Cited
0
CLEVER: A Curated Benchmark for Formally Verified Code Generation
2025
Cited
0
${ m P{small ROOF}W{small ALA}}$: Multilingual Proof Data Synthesis and Theorem-Proving
2025
Cited
0
Co-authors
3 total
Swarat Chaudhuri
UT Austin, Google DeepMind
George Tsoukalas
PhD Student, UT Austin
Greg Durrett
Associate Professor of Computer Science, New York University
