George Tsoukalas

~George_Tsoukalas1

2

论文总数

1.0

年均投稿

6.6

平均评分

接收情况2/2

会议分布

NeurIPS

1

COLM

1

发表论文 (2 篇)

20251 篇

Learning Interestingness in Automated Mathematical Theory Formation

NeurIPS 2025Spotlight

20241 篇

An In-Context Learning Agent for Formal Theorem-Proving

COLM 2024Poster

合作者 (7)

Amitayush Thakur2 篇

Rahul Saha1 篇

Sabrina Reguyal1 篇

Swarat Chaudhuri1 篇

Swarat Chaudhuri1 篇

Yeming Wen1 篇