2023
|
Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó |
Fully Computer-assisted Proofs in Extremal Combinatorics
|
Proceedings of the AAAI Conference on Artificial Intelligence, pp. 12482-12490, 37(10), 2023 |
BibTeX
DOI
|
Juanjo Rué Perna, Christoph Spiegel |
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 |
BibTeX
DOI
|
2022
|
Nina Kamčev, Christoph Spiegel |
Another note on intervals in the Hales-Jewett theorem
|
Electronic Journal of Combinatorics, 29(1), p. P1.62, 2022 |
BibTeX
DOI
|
Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó |
New Ramsey Multiplicity Bounds and Search Heuristics
|
Discrete Mathematics Days, 2022 |
BibTeX
|
2020
|
Sebastian Pokutta, Christoph Spiegel, Max Zimmer |
Deep Neural Network Training with Frank-Wolfe
|
2020 |
BibTeX
arXiv
|
Combettes Cryille W., Christoph Spiegel, Sebastian Pokutta |
Projection-Free Adaptive Gradients for Large-Scale Optimization
|
2020 |
BibTeX
arXiv
|