Neurosymbolic Discovery of Algebraic Graph Constructions
代数图构造的神经符号发现
机构 * TU Wien(维也纳技术大学)
专题命中 指令微调 :large language model(abstract);language model(abstract);分类 cs.AI、cs.LG
AI总结 针对仅提供原始图数据无法揭示其结构性质的问题,提出基于通用大语言模型与SageMath的神经符号智能体,可自动发现代数图构造,在100个高度对称图基准上全部成功,还找到Bernhart-Kainen可散度猜想的最小反例。