Get started
Author

Amitayush Thakur

Observed name: Thakur, Amitayush
ORCID: 0009-0005-5622-7831
Observed ORCID: 0009-0005-5622-7831
OpenAlex ID: A5040096193
A distributed algorithm for balanced multi-robot task allocation
2016 · Avinash Gautam, Amitayush Thakur, et al. · IEEE International Conference on Industrial and Information Systems (ICIIS) · 12
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
2024 · George Tsoukalas, Jasper Lee, et al. · neural information processing systems · 6
PDF
An In-Context Learning Agent for Formal Theorem-Proving
2023 · Thakur, Amitayush, Tsoukalas, George, et al. · arXiv (Cornell University) · 4
PDF
CLEVER: A Curated Benchmark for Formally Verified Code Generation
2025 · Amitayush Thakur, Jasper Lee, et al. · neural information processing systems · 1
PDF
Harness as a Language: A Minimalist Agent Framework With Maximal Expressivity
2026 · Li, Zhening, Liu, Joshua, et al. · arXiv (Cornell University)
PDF
Thermally Desorbable InN Capping Layers for Nitride Surface Science
2026 · Lemon, Mellie, Thakur, Amitayush, et al. · arXiv (Cornell University)
PDF
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
2026 · Thakur, Amitayush, Tsoukalas, George, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
2025 · Thakur, Amitayush, Tsoukalas, George, et al. · arXiv (Cornell University)
PDF
Learning Interestingness in Automated Mathematical Theory Formation
2025 · George Tsoukalas, Rahul Saha, et al. · neural information processing systems
Works count: 9
Citation count: 23
H-index: 3
I10-index: 1
Year
Topic
Type