Charles Arnal

Identifiers

• name variant Charles Arnal 0.60 · backfill

Papers (3)

1. Formalizing Mathematics at Scale cs.AI · 2026 · author #7
2. Efficient RL Training for LLMs with Experience Replay cs.LG · 2026 · author #1
3. Automatic Textbook Formalization cs.AI · 2026 · author #3

Mentions

• 2605.29955 #7 · arxiv_oai · confidence 0.70 Charles Arnal

Frequent Coauthors

• Remi Munos 3 shared papers
• Vivien Cabannes 3 shared papers
• Ahmad Rammal 2 shared papers
• Amaury Hayat 2 shared papers
• Fabian Gloeckle 2 shared papers
• Julia Kempe 2 shared papers
• Gabriel Synnaeve 1 shared papers
• Niket Patel 1 shared papers
• Taco Cohen 1 shared papers