{"id":"arxiv/2609.03478","url":"https://arxiv.org/abs/2609.03478","tags":["cs.AI","cs.LO","math.CO"],"score":0,"title":"AutoGraphForge: Towards Automated Graph Theory Discovery","domain":"cs.AI","source":"arxiv","authors":["Ján Pastorek"],"reviews":0,"subject":"cs.AI","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}