Learning proofs for the classification of nilpotent semigroups
Not on the map. Why?
Abstract (arXiv)
Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 7 of its 26 references that are in the map. First posted on arXiv 6 Jun 2021.
Builds on
7 of 26 references.
References · 7
- 2017Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithmcited by 723
- 2014A Convolutional Neural Network for Modelling Sentencescited by 163
- 2021Constructions in combinatorics via neural networkscited by 46
- 2017Deep-Learning the Landscapecited by 21
- 2020Learning selection strategies in Buchberger's algorithmcited by 20
- 2020Deep Learning Gauss-Manin Connectionscited by 4
- 2021A Neural Network for Semigroupscited by 2
Built on by
Citing papers per year: 2023: 1.
1 paper.
- 2023Is deep learning a useful tool for the pure mathematician?cited by 14
- 2023Is deep learning a useful tool for the pure mathematician?25 Apr 2023