Jimmy Xin

~Jimmy_Xin1

1

论文总数

1.0

年均投稿

6.0

平均评分

接收情况1/1

会议分布

COLM

1

发表论文 (1 篇)

20241 篇

An In-Context Learning Agent for Formal Theorem-Proving

COLM 2024Poster

合作者 (4)

Amitayush Thakur1 篇

George Tsoukalas1 篇

Swarat Chaudhuri1 篇

Yeming Wen1 篇