影响力指数

27.27/100

前 27.8%

全站排名 #17,891

发表论文3 篇

平均评分5.1

年均产出1.5 篇/年

Fabian Gloeckle

PhD student@Ecole Nationale des Ponts et Chausees·法国·OpenReview

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations

ICLR 2026Poster

Reinforcement learning for hierarchical proof generation in Lean 4

ICLR 2026Rejected

The KoLMogorov Test: Compression by Code Generation

ICLR 2025Poster

合作者 (9)

Gabriel Synnaeve

博士导师1 篇

Aram H. Markosyan

Bartosz Piotrowski