כתבה
arXiv cs.AI ·
AutoGraphForge: גילוי אוטומטי של תורת הגרפים
AutoGraphForge: Towards Automated Graph Theory Discovery
AutoGraphForge הוא פרויקט לגילוי אוטומטי של משפטים בתורת הגרפים. הוא משתמש באלגוריתמים ליצירת השערות ובדיקתן נגד מאגר נתונים גדול. הפרויקט משלב שני מודלים: DeepSeek-Prover-V2-671B ו-OProver-32B.
תקציר מקורי באנגליתarXiv:2609.03478v1 Announce Type: new Abstract: 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 program whether a candidate is already implied by known results. Surviving candidates are tested against a dataset of about $348,000$ graphs, unioning the co
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית