3 papers
cs.LG2025
Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?
Konrad Mundinger, Max Zimmer, Aldo Kiem +2
We demonstrate how neural networks can drive mathematical discovery through a case study of the Hadwiger-Nelson problem, a long-standing open problem at the intersection of discret…
math.CO2024
Forcing Graphs to be Forcing
Aldo Kiem, Olaf Parczyk, Christoph Spiegel
Sidorenko's conjecture states that the number of copies of any given bipartite graph in another graph of given density is asymptotically minimized by a random graph. The forcing co…
math.CO2023
The Four-Color Ramsey Multiplicity of Triangles
Aldo Kiem, Sebastian Pokutta, Christoph Spiegel
We study a generalization of a famous result of Goodman and establish that asymptotically at least a fraction of all triangles needs to be monochromatic in any four-colorin…