SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
SymCode:通过可验证代码生成实现数学推理的神经符号方法
机构 * Portland State University(波特兰州立大学) ; ElastixAI
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL、cs.PL
AI总结 SymCode通过可验证代码生成实现数学推理,显著提升准确性并增强模型的透明度和可靠性。
Comments camera-ready EACL 2026 Findings