Spiegel, Christoph

4 publications

ICML 2025 Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? Konrad Mundinger, Max Zimmer, Aldo Kiem, Christoph Spiegel, Sebastian Pokutta
ICLR 2024 Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging Max Zimmer, Christoph Spiegel, Sebastian Pokutta
AAAI 2023 Fully Computer-Assisted Proofs in Extremal Combinatorics Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó
ICLR 2023 How I Learned to Stop Worrying and Love Retraining Max Zimmer, Christoph Spiegel, Sebastian Pokutta