Amitayush Thakur

~Amitayush_Thakur1

3

论文总数

1.5

年均投稿

6.0

平均评分

接收情况2/3

会议分布

ICLR

1

COLM

1

NeurIPS

1

发表论文 (3 篇)

20251 篇

Learning Interestingness in Automated Mathematical Theory Formation

NeurIPS 2025Spotlight

20242 篇

A Language-Agent Approach to Formal Theorem-Proving

ICLR 2024Rejected

An In-Context Learning Agent for Formal Theorem-Proving

COLM 2024Poster

合作者 (7)

George Tsoukalas2 篇

Swarat Chaudhuri2 篇

Yeming Wen2 篇

Rahul Saha1 篇

Sabrina Reguyal1 篇

Swarat Chaudhuri1 篇