Fabian Gloeckle

Identifiers

• name variant Fabian Gloeckle 0.60 · backfill

Papers (5)

1. Formalizing Mathematics at Scale cs.AI · 2026 · author #3
2. Automatic Textbook Formalization cs.AI · 2026 · author #1
3. WybeCoder: Verified Imperative Code Generation cs.SE · 2026 · author #1
4. Better & Faster Large Language Models via Multi-token Prediction cs.CL · 2024 · author #1
5. Code Llama: Open Foundation Models for Code cs.CL · 2023 · author #3

Mentions

• 2605.29955 #3 · arxiv_oai · confidence 0.70 Fabian Gloeckle
• 2404.19737 #1 · arxiv_oai · confidence 0.70 Fabian Gloeckle

Frequent Coauthors

• Gabriel Synnaeve 4 shared papers
• Amaury Hayat 3 shared papers
• Ahmad Rammal 2 shared papers
• Baptiste Rozi\`ere 2 shared papers
• Charles Arnal 2 shared papers
• Remi Munos 2 shared papers
• Vivien Cabannes 2 shared papers
• Aaron Grattafiori 1 shared papers
• Alexandre D\'efossez 1 shared papers
• Artyom Kozhevnikov 1 shared papers
• Badr Youbi Idrissi 1 shared papers
• Cristian Canton Ferrer 1 shared papers
• Darius Feher 1 shared papers
• David Lopez-Paz 1 shared papers
• Faisal Azhar 1 shared papers
• Hugo Touvron 1 shared papers
• Itai Gat 1 shared papers
• Ivan Evtimov 1 shared papers
• Jade Copet 1 shared papers
• J\'er\'emy Rapin 1 shared papers