Automated Conjecturing in Mathematics with TxGraffitiarxiv.org1 point·Pseudomanifold··0 commentsOpen articleSaveView on HN