Amitayush Thakur

According to our database, Amitayush Thakur authored at least 3 papers between 2016 and 2024.

Collaborative distances:

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

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

CoRR, 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