Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ahmad Rammal
Observed name:
Rammal, Ahmad
Institutions:
École nationale des ponts et chaussées,
CERMICS,
Institut Polytechnique de Paris
Observed institutions:
École Polytechnique,
École nationale des ponts et chaussées,
Moscow Institute of Physics and Technology,
Mohamed bin Zayed University of Artificial Intelligence,
CERMICS,
Institut Polytechnique de Paris,
King Abdullah University of Science and Technology
show all 7
OpenAlex ID:
A5133027320
Formalizing Mathematics at Scale
2026
·
Rammal, Ahmad
, Patel, Niket
, et al.
·
arXiv (Cornell University)
·
20
PDF
Automatic Textbook Formalization
2026
·
Gloeckle, Fabian
, Rammal, Ahmad
, et al.
·
arXiv (Cornell University)
·
16
PDF
Correlated Quantization for Faster Nonconvex Distributed Optimization
2024
·
Panferov, Andrei
, Demidovich, Yury
, et al.
·
arXiv (Cornell University)
·
4
PDF
Communication Compression for Byzantine Robust Learning: New Efficient Algorithms and Improved Rates
2023
·
Rammal, Ahmad
, Gruntkowska, Kaja
, et al.
·
arXiv (Cornell University)
·
4
PDF
Learning to Discover Interesting Mathematics
2026
·
Patel, Niket
, Rammal, Ahmad
, et al.
·
arXiv (Cornell University)
·
1
PDF
Distilling LLM Feedback for Lean Theorem Proving
2026
·
Narozniak, Gaetan
, Biau, Gérard
, et al.
·
arXiv (Cornell University)
·
1
PDF
h1: A Taste of the Bitter Lesson in Automated Theorem Proving
2026
·
Moalla, Skander
, Rammal, Ahmad
, et al.
·
arXiv (Cornell University)
PDF
AutoformBench: A Lean Formalization Benchmark for Advanced Mathematics
2026
·
Arnal, Charles
, Rammal, Ahmad
, et al.
·
HAL
Show more works
View as search
Works count:
8
Citation count:
46
H-index:
4
I10-index:
2
Year
Topic
Type
