The \emph{Optimist}: Towards Fully Automated Graph Theory Research

Randy Davila

This paper introduces the \emph{Optimist}, an autonomous system developed to advance automated conjecture generation in graph theory. Leveraging mixed-integer programming (MIP) and…