Predicting the cardinality and maximum degree of a reduced Gr"obner basis
Not on the map. Why?
Abstract (arXiv)
We construct neural network regression models to predict key metrics of complexity for Gr"obner bases of binomial ideals. This work illustrates why predictions with neural networks from Gr"obner computations are not a straightforward process. Using two probabilistic models for random binomial ideals, we generate and make available a large data set that is able to capture sufficient variability in Gr"obner complexity. We use this data to train neural networks and predict the cardinality of a reduced Gr"obner basis and the maximum total degree of its elements. While the cardinality prediction problem is unlike classical problems tackled by machine learning, our simulations show that neural networks, providing performance statistics such as r2 = 0.401, outperform naive guess or multiple regression models with r2 = 0.180.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 5 of its 23 references that are in the map. First posted on arXiv 10 Feb 2023.
Builds on
5 of 23 references.
References · 5
- 2019Deep Learning for Symbolic Mathematicscited by 270
- 2018Tropical Geometry of Deep Neural Networkscited by 95
- 2021Machine-Learning Mathematical Structurescited by 25
- 2020Learning selection strategies in Buchberger's algorithmcited by 20
- 2021Learning a performance metric of Buchberger's algorithmcited by 1
Built on by
Citing papers per year: 2026: 1.
1 paper.