A frozen LLM agent paired with SageMath discovered verified algebraic constructions for all 100 benchmark two-orbit graphs and for a new 16-vertex counterexample to the Bernhart-Kainen dispersability conjecture.
Bekos, Vida Dujmovic, Martin Gronemann, Michael Kaufmann, and Sergey Pupyrev
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.AI 1years
2026 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Neurosymbolic Discovery of Algebraic Graph Constructions
A frozen LLM agent paired with SageMath discovered verified algebraic constructions for all 100 benchmark two-orbit graphs and for a new 16-vertex counterexample to the Bernhart-Kainen dispersability conjecture.