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