Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ahmad Rammal
Observed name:
Rammal, Ahmad
Institution:
CERMICS
Observed institutions:
École Polytechnique,
Moscow Institute of Physics and Technology,
Mohamed bin Zayed University of Artificial Intelligence,
CERMICS,
King Abdullah University of Science and Technology
OpenAlex ID:
A5133027320
Communication Compression for Byzantine Robust Learning: New Efficient Algorithms and Improved Rates
2023
·
Rammal, Ahmad
, Gruntkowska, Kaja
, 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
Learning to Discover Interesting Mathematics
2026
·
Patel, Niket
, Rammal, Ahmad
, et al.
·
arXiv (Cornell University)
PDF
Distilling LLM Feedback for Lean Theorem Proving
2026
·
Narozniak, Gaetan
, Biau, Gérard
, et al.
·
arXiv (Cornell University)
PDF
Formalizing Mathematics at Scale
2026
·
Rammal, Ahmad
, Patel, Niket
, et al.
·
arXiv (Cornell University)
PDF
Automatic Textbook Formalization
2026
·
Gloeckle, Fabian
, Rammal, Ahmad
, et al.
·
arXiv (Cornell University)
PDF
Correlated Quantization for Faster Nonconvex Distributed Optimization
2024
·
Panferov, Andrei
, Demidovich, Yury
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
8
Citation count:
1
H-index:
1
I10-index:
Year
Topic
Type
