AutoGraphForge Automates Graph Theory Conjecture and Proof Discovery

AutoGraphForge is a computational pipeline for automated graph-theoretic discovery using a counterexample-guided conjecture generator. It employs a novelty filter of 559 relations and tests candidates against a dataset of 348,000 graphs to automate the process of conjecturing, refuting, and formalizing proofs.