Automated Conjecturing in Mathematics with TxGraffitihttps://arxiv.org/abs/2409.19379 by Pseudomanifold • 2 years ago 1 0 2 years agoARarxiv.org