TY - CHAP A1 - Mundinger, Konrad A1 - Zimmer, Max A1 - Kiem, Aldo A1 - Spiegel, Christoph A1 - Pokutta, Sebastian T1 - Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? T2 - Proceedings of the 42nd International Conference on Machine Learning Y1 - 2025 UR - https://raw.githubusercontent.com/mlresearch/v267/main/assets/mundinger25a/mundinger25a.pdf VL - 267 SP - 45236 EP - 45255 ER - TY - CHAP A1 - Kiem, Aldo A1 - Pokutta, Sebastian A1 - Spiegel, Christoph T1 - Categorification of Flag Algebras T2 - Discrete Mathematics Days 2024 Y1 - 2024 U6 - https://doi.org/10.37536/TYSP5643 SP - 259 EP - 264 ER - TY - CHAP A1 - Kiem, Aldo A1 - Pokutta, Sebastian A1 - Spiegel, Christoph T1 - The Four-Color Ramsey Multiplicity of Triangles T2 - Discrete Mathematics Days 2024 Y1 - 2024 U6 - https://doi.org/10.37536/TYSP5643 SP - 13 EP - 18 ER -