A A
de
Deutsch
English
Menü
Startseite Spiegel

Spiegel, Christoph, Dr.

Christoph Spiegel

Kontakt

Position
Stellvertretende Abteilungsleitung
Raum
3009
Telefon
+49 30 84185-436
E-Mail
E-Mail
Website
Personal Homepage
Bereich
Mathematical Algorithmic Intelligence
Abteilung
AI in Society, Science and Technology
Arbeitsgruppe
Interactive Optimization and Learning

Publikationen

2027
An Unsure Note on an Un-Schur Problem Combinatorial and Additive Number Theory VII: CANT, New York, USA, 2024 and 2025, Vol.557, Springer Proceedings in Mathematics & Statistics, 2027 (accepted for publication) Olaf Parczyk, Christoph Spiegel BibTeX
arXiv
Fast Isotopy Computation for T-Curves Mathematical Software – ICMS 2026, Vol.16677, Lecture Notes in Computer Science, 2027 (accepted for publication) Zoe Geiselmann, Michael Joswig, Lars Kastner, Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Marcel Wack, Max Zimmer BibTeX
arXiv
2026
An Unsure Note on an Un-Schur Problem Electronic Journal of Combinatorics, 33(1), p. P1.45, 2026 Olaf Parczyk, Christoph Spiegel BibTeX
DOI
arXiv
Limits of combinatorial patchworking 2026 Zoe Geiselmann, Michael Joswig, Lars Kastner, Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Marcel Wack, Max Zimmer BibTeX
arXiv
Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers International Conference on Learning Representations 2026, 2026 Nico Pelleriti, Christoph Spiegel, Shiwei Liu, David Martínez-Rubio, Max Zimmer, Sebastian Pokutta BibTeX
arXiv
The Rado multiplicity problem in vector spaces over finite fields Finite Fields and Their Applications, Vol.111, p. 102782, 2026 Juanjo Rué, Christoph Spiegel BibTeX
DOI
arXiv
The four-color Ramsey multiplicity of triangles Journal of Combinatorial Theory, Series B, Vol.179, pp. 19-70, 2026 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
DOI
arXiv
2025
Compression-aware training of neural networks using Frank-Wolfe Mathematical Optimization for Machine Learning, K. Fackeldey (Ed.), De Gruyter, pp. 137-168, 2025 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
DOI
arXiv
Infinitely many counterexamples to a conjecture of Lovász 2025 Aida Abiad, Frederik Garbe, Xavier Povill, Christoph Spiegel BibTeX
arXiv
Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? Proceedings of the 42nd International Conference on Machine Learning, pp. 45236-45255, Vol.267, Proceedings of Machine Learning Research, 2025 Konrad Mundinger, Max Zimmer, Aldo Kiem, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv
New Ramsey multiplicity bounds and search heuristics Foundations of Computational Mathematics, 25(5), pp. 1777-1814, 2025 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
DOI
arXiv
2024
Adjunctions, Box Products, and Forcing Families 2024 Aldo Kiem, Olaf Parczyk, Christoph Spiegel BibTeX
arXiv
Categorification of Flag Algebras Discrete Mathematics Days 2024, pp. 259-264, Vol.20, Obras Colectivas Ciencias, 2024 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
DOI
Extending the Continuum of Six-Colorings Discrete Mathematics Days 2024, pp. 178-183, Vol.20, Obras Colectivas Ciencias, 2024 Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
DOI
arXiv
Extending the Continuum of Six-Colorings Geombinatorics, XXXIV(1), pp. 20-29, 2024 Konrad Mundinger, Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
arXiv
Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging International Conference on Learning Representations 2024, 2024, ISBN: 9781713898658 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv
The Four-Color Ramsey Multiplicity of Triangles Discrete Mathematics Days 2024, pp. 13-18, Vol.20, Obras Colectivas Ciencias, 2024 Aldo Kiem, Sebastian Pokutta, Christoph Spiegel BibTeX
DOI
arXiv
2023
Fully Computer-assisted Proofs in Extremal Combinatorics Proceedings of the AAAI Conference on Artificial Intelligence, pp. 12482-12490, 37(10), 2023 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
DOI
arXiv
How I Learned to Stop Worrying and Love Retraining International Conference on Learning Representations 2023, 2023 Max Zimmer, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv
PERP: Rethinking the Prune-Retrain Paradigm in the Era of LLMs 2023 Max Zimmer, Megi Andoni, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv
The Rado Multiplicity Problem in Vector Spaces Over Finite Fields Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, EUROCOMB’23, pp. 784-789, 2023 Juanjo Rué Perna, Christoph Spiegel BibTeX
DOI
arXiv
2022
Another note on intervals in the Hales-Jewett theorem Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022 Nina Kamčev, Christoph Spiegel BibTeX
DOI
arXiv
New Ramsey Multiplicity Bounds and Search Heuristics Discrete Mathematics Days 2022, pp. 224-230, Vol.263, Difunde, 2022 Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó BibTeX
arXiv
2020
Deep Neural Network Training with Frank-Wolfe 2020 Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
arXiv
Projection-Free Adaptive Gradients for Large-Scale Optimization 2020 Cyrille W. Combettes, Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv