Amitayush Thakur

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 3

Top Topics

Inference Rules

Top Venues

Publications

George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. CoRR (2024)
Amitayush Thakur, Yeming Wen, Swarat Chaudhuri
A Language-Agent Approach to Formal Theorem-Proving. CoRR (2023)
Avinash Gautam, Amitayush Thakur, Garima Dhanania, Sudeept Mohan
A distributed algorithm for balanced multi-robot task allocation. ICIIS (2016)