Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?

Konrad Mundinger; Max Zimmer; Aldo Kiem; Christoph Spiegel; Sebastian Pokutta

2025 ICML ICML 2025

Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

❓ The Questioner

Authors

Konrad Mundinger, Max Zimmer, Aldo Kiem, Christoph Spiegel, Sebastian Pokutta

Topics

Machine Learning > Optimization & Theory > Neural Network Optimization Deep Learning > Architectures > Neural Networks Artificial Intelligence > Core AI > Reasoning

Keywords

hard constraint neural network gradient-based exploration hadwiger-nelson problem probabilistic loss function six-colorings

Download PDF