Amitayush Thakur

According to our database, Amitayush Thakur authored at least 6 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Learning Interestingness in Automated Mathematical Theory Formation.

George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri

CoRR, November, 2025

ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving.

Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri

CoRR, February, 2025

CLEVER: A Curated Benchmark for Formally Verified Code Generation.

Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2024

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

A Language-Agent Approach to Formal Theorem-Proving.

Amitayush Thakur, Yeming Wen, Swarat Chaudhuri

CoRR, 2023

2016

A distributed algorithm for balanced multi-robot task allocation.

Avinash Gautam, Amitayush Thakur, Garima Dhanania, Sudeept Mohan

Proceedings of the 11th International Conference on Industrial and Information Systems, 2016