Lean 4 library / 2026
A library of oracle models and complexity bounds for stochastic optimization under heavy-tailed noise. Formal statements make the assumptions and the information available to an algorithm explicit.
heavy-tailed-noise-lean ↗ Preprint / 2024
A hypergraph-based framework for large-scale quadratically constrained quadratic programs, combining learned solution prediction with neighborhood optimization to improve candidate solutions.
Read the paper ↗ ICML / 2024
A benchmark and toolkit for curriculum learning, comparing training curricula across vision, language, and graph tasks through both learning performance and computational complexity.
Read the paper ↗