Portfolio item number 1
Published:
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Published:
Short description of portfolio item number 2
publications
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
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
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
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Teaching assistant in mathematics, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.