Kefan Dong

~Kefan_Dong1

2

论文总数

2.0

年均投稿

6.3

平均评分

接收情况1/2

会议分布

ICLR

1

ICML

1

发表论文 (2 篇)

20252 篇

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically

ICLR 2025Rejected

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving

ICML 2025Poster

合作者 (2)

Arvind V. Mahankali1 篇