Learning proofs for the classification of nilpotent semigroups

Abstract

Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.

References in corpus (5)

• Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
• Constructions in combinatorics via neural networks
• Deep Learning Gauss-Manin Connections
• The number of nilpotent semigroups of degree 3
• A Neural Network for Semigroups