Learning proofs for the classification of nilpotent semigroups
2021-06-06Code Available0· sign in to hype
Carlos Simpson
Code Available — Be the first to reproduce this paper.
ReproduceCode
- github.com/carlostsimpson/sg-learnOfficialIn paperpytorch★ 0
Abstract
Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.