Kaiyu Yang

~Kaiyu_Yang1

3

论文总数

1.5

年均投稿

7.3

平均评分

接收情况3/3

会议分布

COLM

2

ICLR

1

发表论文 (3 篇)

20252 篇

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

COLM 2025Poster

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

ICLR 2025Poster

20241 篇

A Survey on Deep Learning for Theorem Proving

COLM 2024Poster

合作者 (20)

Xian Zhang2 篇

Xiaoxing Ma1 篇