Automated conjecturing with \emph{TxGraffiti}

arXiv:2409.19379v2 Announce Type: replace-cross Abstract: \emph{TxGraffiti} is a data-driven, heuristic-based computer program developed to automate the process of generating conjectures across various mathematical domains. Since its creation in 2017, \emph{TxGraffiti} has contributed to numerous...