影响力指数

27.51/100

前 27.4%

全站排名 #17,664

发表论文2 篇

平均评分6.3

年均产出2.0 篇/年

Kefan Dong

PhD student@Stanford University·美国·OpenReview

研究方向

reinforcement learning · online learning

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

ICML 2025Poster

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically

ICLR 2025Rejected

合作者 (2)

博士导师2 篇

Arvind V. Mahankali