LingoLOGOS：可微分语法归纳与规则合成引擎

LingoLOGOS 是一个神经符号架构，结合神经网络连续表示与 Chomsky 范式 PCFG 的形式约束，实现从非结构化数据流中进行可微分语法归纳与规则合成。其可微分 CYK 引擎用 LogSumExp 半环运算让梯度回传解析图，符号提取层以阈值 τ=0.01 剪枝后输出 CNF 语法，并通过 Lark 语法编译、离散 CYK 与 Z3 SMT 求解器验证语言包含关系。默认非终结符数 K=5，学习率 1e-2，在 Dyck-2 上归纳出 9 条规则。