Gloeckle, Fabian

4 publications

ICLR 2025 The KoLMogorov Test: Compression by Code Generation Ori Yoran, Kunhao Zheng, Fabian Gloeckle, Jonas Gehring, Gabriel Synnaeve, Taco Cohen

NeurIPSW 2024 ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving Fabian Gloeckle, Jannis Limperg, Gabriel Synnaeve, Amaury Hayat

ICML 2024 Better & Faster Large Language Models via Multi-Token Prediction Fabian Gloeckle, Badr Youbi Idrissi, Baptiste Roziere, David Lopez-Paz, Gabriel Synnaeve

NeurIPSW 2023 Temperature-Scaled Large Language Models for Lean Proofstep Prediction Fabian Gloeckle, Baptiste Roziere, Amaury Hayat, Gabriel Synnaeve