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.
Dokovic, Ilias S
1 Pith paper cite this work, alongside 4 external citations. Polarity classification is still indexing.
1
Pith paper citing it
4
external citations · OpenAlex
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.