Unjuno/NeuroCompiler：将结构化数学知识编译为神经网络参数或数值求解器

Unjuno/NeuroCompiler 是一个研究原型，尝试把结构化数学知识转换为神经网络参数或数值计算状态。项目用符号解析和语义 IR 选择后端，分神经权重编译器与数值求解器。Stage 0–9R 结果显示神经生成器并非总是最优，通用数学理解及相对传统 PDE 数值法的优势尚未实证，Stage 9R 为独立再实现。