Ahmad Rammal

According to our database, Ahmad Rammal authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Distilling LLM Feedback for Lean Theorem Proving.

Gaëtan Narozniak, Gérard Biau, Rémi Munos, Ahmad Rammal, Pierre Marion

CoRR, May, 2026

Formalizing Mathematics at Scale.

Ahmad Rammal, Niket Patel, Fabian Gloeckle, Amaury Hayat, Julia Kempe, Rémi Munos, Charles Arnal, Vivien Cabannes

CoRR, May, 2026

Automatic Textbook Formalization.

Fabian Gloeckle, Ahmad Rammal, Charles Arnal, Rémi Munos, Vivien Cabannes, Gabriel Synnaeve, Amaury Hayat

CoRR, April, 2026

2025

Correlated Quantization for Faster Nonconvex Distributed Optimization.

Andrei Panferov, Yury Demidovich, Ahmad Rammal, Peter Richtárik

Proceedings of the Conference on Uncertainty in Artificial Intelligence, 2025

2024

Learning Mathematical Rules with Large Language Models.

Antoine Gorceix, Bastien Le Chenadec, Ahmad Rammal, Nelson Vadori, Manuela Veloso

CoRR, 2024

Communication Compression for Byzantine Robust Learning: New Efficient Algorithms and Improved Rates.

Ahmad Rammal, Kaja Gruntkowska, Nikita Fedin, Eduard Gorbunov, Peter Richtárik

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024

2021

Design of a Model Predictive Control for a Boost Type Matrix Converter.

Ahmad Rammal, Hadi Youssef Kanaan

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021