Fabian Gloeckle

PhD student, Cermics, Ecole Nationale des Ponts et Chausees

Joined

September 2023

Names

Fabian Gloeckle (Preferred)

Emails

****@meta.com (Confirmed)

****@hotmail.de (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

PhD student

Cermics, Ecole Nationale des Ponts et Chausees (enpc.fr)

2023 – 2026

Advisors, Relations & Conflicts

PhD Advisor

Amaury Hayat

2023 – 2026

PhD Advisor

Gabriel Synnaeve

2023 – 2026

Expertise

No areas of expertise listed

Publications

Reinforcement Learning for Hierarchical Proof Generation in Lean 4
Fabian Gloeckle, Alex Gu, Gabriel Synnaeve, Amaury Hayat
- MATH-AI 2025 Poster
- Readers: Everyone
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
Alex Gu, Bartosz Piotrowski, Fabian Gloeckle, Kaiyu Yang, Aram H. Markosyan
- MATH-AI 2025 Poster
- Readers: Everyone
Reinforcement learning for hierarchical proof generation in Lean 4
Fabian Gloeckle
- Submitted to ICLR 2026
- Readers: Everyone
ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
Alex Gu, Bartosz Piotrowski, Fabian Gloeckle, Kaiyu Yang, Aram H. Markosyan
- ICLR 2026 Poster
- Readers: Everyone
The KoLMogorov Test: Compression by Code Generation
Ori Yoran, Kunhao Zheng, Fabian Gloeckle, Jonas Gehring, Gabriel Synnaeve, Taco Cohen
- ICLR 2025
- Readers: Everyone
The KoLMogorov Test: Compression by Code Generation
Ori Yoran, Kunhao Zheng, Fabian Gloeckle, Jonas Gehring, Gabriel Synnaeve, Taco Cohen
- ICLR 2025 Poster
- Readers: Everyone
ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving
Fabian Gloeckle, Jannis Limperg, Gabriel Synnaeve, Amaury Hayat
- MATH-AI 24
- Readers: Everyone
Code Llama: Open Foundation Models for Code
Jingyu Liu, Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Tan, Yossi Adi, Tal Remez, Jérémy Rapin, Ivan Evtimov, Joanna Bitton, Manish Bhatt, Cristian Canton Ferrer, Wenhan Xiong, Alexandre Défossez, Jade Copet, Hugo Touvron, Louis Martin, Nicolas Usunier et al. (2 additional authors not shown)
- OpenReview Archive Direct Upload
- Readers: Everyone
Better & Faster Large Language Models via Multi-token Prediction
Fabian Gloeckle, Badr Youbi Idrissi, Baptiste Roziere, David Lopez-Paz, Gabriel Synnaeve
- ICML 2024 Poster
- Readers: Everyone
Better & Faster Large Language Models via Multi-token Prediction
Fabian Gloeckle, Badr Youbi Idrissi, Baptiste Rozière, David Lopez-Paz, Gabriel Synnaeve
- ICML 2024
- Readers: Everyone

View all 14 publications

Co-Authors

View all 52 co-authors