SOURCE-LINKED INTELLIGENCE

AutoGraphForge: Towards Automated Graph Theory Discovery

arXiv · AI, language, vision and robotics · article · Sep 3, 2026 · UTC

We report on our ongoing project to develop a computational pipeline, AutoGraphForge, for an automated graph-theoretic conjecturing-refuting-formalizing-proving system. Conjecture generation is counterexample-guided and runs in rounds: a Graffiti3 generator proposes conjectures over a small, evolving snapshot table $T$ (initially a few hundred graphs with their computed invariants) that grows only by counterexamples to its own conjectures. A novelty filter of $559$ classical and folklore relations, closed under transitive composition and linear identity substitution, decides via a linear progr

Read original source ↗ Open in workspace

recordType

paper

region

Global