Formalizing Mathematics at Scale
Published in arXiv, 2026
We introduce ATLAS, a Lean 4 library of textbook mathematics autoformalized by LLMs, spanning 26 books across analysis, algebra, geometry, topology, and more.
Download here
Publications
Learning Mathematical Rules with Large Language Models
Published in Neurips Math-AI, 2024
We study the ability of large language models to learn specific mathematical rules.
Download here
Communication Compression for Byzantine Robust Learning: New Efficient Algorithms and Improved Rates
Published in AISTATS, 2024
In this paper we introduce new SOTA algorithms in the realm of communication compression along with Byzantine robustness.
Download here
Correlated Quantization for Faster Nonconvex Distributed Optimization
Published in , 2024
In this paper we focus on the use of correlated quantizers, introduced by Suresh et al. in 2022, and demonstrate how these quantizers offer benefits over traditional independent quantizers in terms of communication complexity.
Download here