Learning proofs for the classification of nilpotent semigroups

This work addresses a specific mathematical proof-finding problem for researchers in algebra and automated reasoning, but it appears incremental as it builds on existing classification tasks.

The authors tackled the problem of finding proofs for classifying 4-nilpotent semigroups by applying machine learning, resulting in proofs with smaller or smallest numbers of nodes.