Preprint
Aug 2026
Neurosymbolic Discovery of Algebraic Graph Constructions
The smallest known counterexample to the Bernhart-Kainen dispersability conjecture is identified, a $16-vertex graph that enumeration found as raw data, and the agent found an explicit algebraic construction.
David Seka, Stefan Szeider
· 0 citations