Amitayush Thakur
Scholar

Amitayush Thakur

Google Scholar ID: d3XU8EAAAAAJ
University of Texas at Austin
NeuroSymbolic AIProgram SynthesisFormal Theorem ProvingLarge Language ModelsML
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
143
 
H-index
4
 
i10-index
3
 
Publications
5
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
2 items
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
Resume (English only)
Co-authors
4 total
Swarat Chaudhuri
Swarat Chaudhuri
UT Austin, Google DeepMind
George Tsoukalas
George Tsoukalas
PhD Student, UT Austin
Co-author 3
Co-author 3
Greg Durrett
Greg Durrett
Associate Professor of Computer Science, New York University