2 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…