An AI enhanced approach to the tree unimodality conjecture

Open in new window