{"id":"arxiv/2608.08118","url":"https://arxiv.org/abs/2608.08118","tags":["cs.AI","cs.LG","cs.SC","math.CO"],"score":0,"title":"Neurosymbolic Discovery of Algebraic Graph Constructions","domain":"cs.AI","source":"arxiv","authors":["David Seka","Stefan Szeider"],"reviews":0,"subject":"cs.AI","summary":"There are several methods for searching for graphs with prescribed properties, such as SAT solvers and specialized generators. These methods return the result as raw data: an adjacency matrix or a string encoding. The raw data certifies that the graph exists, but it does not reveal any structural properties of the graph. We ask whether one can automatically discover a short algebraic description if only this raw data is provided. We look for a description such as a Cayley graph $\\mathrm{Cay}(Γ, S)$ or a lexicographic product $C_5[K_3]$. We address this question with a neurosymbolic approach.…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-08","reactions":{}}