Scholar

Ahmad Rammal

Google Scholar ID: 1Pfv0DIAAAAJ

Master's Student, MVA (Mathématiques, Vision, Apprentissage)

Machine LearningOptimization

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

19

H-index

2

i10-index

1

Publications

3

Co-authors

2

list available

Contact

No contact links provided.

Publications

3 items

Distilling LLM Feedback for Lean Theorem Proving

2026

Cited

0

Formalizing Mathematics at Scale

2026

Cited

0

Automatic Textbook Formalization

2026

Cited

0

Resume (English only)

Co-authors

2 total

Peter Richtarik

Professor, KAUST

Eduard Gorbunov

Assistant Professor, Mohamed bin Zayed University of Artificial Intelligence