Ahmad Rammal

Identifiers

• name variant Ahmad Rammal 0.60 · backfill

Papers (3)

1. Distilling LLM Feedback for Lean Theorem Proving cs.AI · 2026 · author #4
2. Formalizing Mathematics at Scale cs.AI · 2026 · author #1
3. Automatic Textbook Formalization cs.AI · 2026 · author #2

Mentions

• 2605.30861 #4 · arxiv_oai · confidence 0.70 Ahmad Rammal
• 2605.29955 #1 · arxiv_oai · confidence 0.70 Ahmad Rammal

Frequent Coauthors

• Amaury Hayat 2 shared papers
• Charles Arnal 2 shared papers
• Fabian Gloeckle 2 shared papers
• Remi Munos 2 shared papers
• Vivien Cabannes 2 shared papers
• Gabriel Synnaeve 1 shared papers
• Gaetan Narozniak 1 shared papers
• G\'erard Biau 1 shared papers
• Julia Kempe 1 shared papers
• Niket Patel 1 shared papers
• Pierre Marion 1 shared papers
• R\'emi Munos 1 shared papers