LGJun 6, 2021
Learning proofs for the classification of nilpotent semigroupsCarlos Simpson
Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.
Carlos Simpson
Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.