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 (2)

• Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
• A Neural Network for Semigroups