Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mundinger, Konrad, Zimmer, Max, Kiem, Aldo, Spiegel, Christoph, Pokutta, Sebastian
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Combinatorics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extending the Continuum of Six-Colorings
by: Mundinger, Konrad, et al.
Published: (2024)

Neural Parameter Regression for Explicit Representations of PDE Solution Operators
by: Mundinger, Konrad, et al.
Published: (2024)

Compression-aware Training of Neural Networks using Frank-Wolfe
by: Zimmer, Max, et al.
Published: (2022)

Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging
by: Zimmer, Max, et al.
Published: (2023)

PERP: Rethinking the Prune-Retrain Paradigm in the Era of LLMs
by: Zimmer, Max, et al.
Published: (2023)

Fast Isotopy Computation for T-Curves
by: Geiselmann, Zoe, et al.
Published: (2026)

121 Patchworked Curves of Degree Seven
by: Geiselmann, Zoe, et al.
Published: (2026)

The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning
by: Zimmer, Max, et al.
Published: (2026)

Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers
by: Pelleriti, Nico, et al.
Published: (2025)

Forcing Graphs to be Forcing
by: Kiem, Aldo, et al.
Published: (2024)

Approximating Latent Manifolds in Neural Networks via Vanishing Ideals
by: Pelleriti, Nico, et al.
Published: (2025)

Generative Modeling for Mathematical Discovery
by: Ellenberg, Jordan S., et al.
Published: (2025)

On the Byzantine-Resilience of Distillation-Based Federated Learning
by: Roux, Christophe, et al.
Published: (2024)

Neural Algorithmic Reasoning for Approximate $k$-Coloring with Recursive Warm Starts
by: Vanderbush, Knut, et al.
Published: (2026)

New Ramsey Multiplicity Bounds and Search Heuristics
by: Parczyk, Olaf, et al.
Published: (2022)

A Free Lunch in LLM Compression: Revisiting Retraining after Pruning
by: Wagner, Moritz, et al.
Published: (2025)

Don't Be Greedy, Just Relax! Pruning LLMs via Frank-Wolfe
by: Roux, Christophe, et al.
Published: (2025)

RECON: Robust symmetry discovery via Explicit Canonical Orientation Normalization
by: Urbano, Alonso, et al.
Published: (2025)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

SparseSwaps: Tractable LLM Pruning Mask Refinement at Scale
by: Zimmer, Max, et al.
Published: (2025)

Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
by: He, Jesse, et al.
Published: (2024)

From Associations to Activations: Comparing Behavioral and Hidden-State Semantic Geometry in LLMs
by: Schiekiera, Louis, et al.
Published: (2026)

Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
by: Chau, Herman, et al.
Published: (2025)

Towards a General Framework for Predicting and Explaining the Hardness of Graph-based Combinatorial Optimization Problems using Machine Learning and Association Rule Mining
by: Sharman, Bharat, et al.
Published: (2025)

Flow-based Extremal Mathematical Structure Discovery
by: Bérczi, Gergely, et al.
Published: (2026)

Scalable DC Optimization via Adaptive Frank-Wolfe Algorithms
by: Pokutta, Sebastian
Published: (2025)

Interpretable Machine Learning for Kronecker Coefficients
by: Butbaia, Giorgi, et al.
Published: (2025)

Depth-Bounds for Neural Networks via the Braid Arrangement
by: Grillo, Moritz, et al.
Published: (2025)

Neural Networks and (Virtual) Extended Formulations
by: Hertrich, Christoph, et al.
Published: (2024)

Higher Congruences in Character Tables
by: Harman, Nate, et al.
Published: (2024)

Graph Neural Networks vs Convolutional Neural Networks for Graph Domination Number Prediction
by: Davila, Randy, et al.
Published: (2025)

Interpretability Guarantees with Merlin-Arthur Classifiers
by: Wäldchen, Stephan, et al.
Published: (2022)

On the Architectural Complexity of Neural Networks
by: Cooper, Nicholas J., et al.
Published: (2026)

Polynomially Over-Parameterized Convolutional Neural Networks Contain Structured Strong Winning Lottery Tickets
by: da Cunha, Arthur, et al.
Published: (2023)

On the Expressibility of the Reconstructional Color Refinement
by: Arvind, V., et al.
Published: (2024)

Better Neural Network Expressivity: Subdividing the Simplex
by: Bakaev, Egor, et al.
Published: (2025)

Permutation Equivariant Neural Networks for Symmetric Tensors
by: Pearce-Crump, Edward
Published: (2025)

Graph Automorphism Group Equivariant Neural Networks
by: Pearce-Crump, Edward, et al.
Published: (2023)

Mathematical Data Science
by: Douglas, Michael R., et al.
Published: (2025)

Arithmetic Circuits and Neural Networks for Regular Matroids
by: Hertrich, Christoph, et al.
Published: (2025)