Christoph Spiegel

4 papers · 2023–2025 · 3 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (3) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15) ❓ The Questioner

Conferences

ICLR (2) AAAI (1) ICML (1)

Top co-authors

Sebastian Pokutta (4) Max Zimmer (3) Olaf Parczyk (1) Konrad Mundinger (1) Aldo Kiem (1) Tibor Szabó (1)

Keywords

combinatorial optimization (1) ramsey theory (1) computer-assisted proof (1) extremal combinatorics (1) flag algebra (1) extremal graph theory (1)

Papers

Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? ICML 2025

Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging ICLR 2024

Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023

How I Learned to Stop Worrying and Love Retraining ICLR 2023