llmopt:面向数学与物理机器学习的 Oracle 验证实验平台
39hops/llmopt · Oracle-verified experiments in mathematics and physics ML — exact integer training, zero-calibration quantization, and an append-only ledger that books nulls and retractions beside the wins.
llmopt 是一个数学与物理机器学习实验仓库,强调以符号等价而非字符串匹配校验答案、解码结果需与贪心解码逐 token 一致、生成的汇编需实际运行验证,并将每次实验预先注册可失败的阈值。项目包含符号推导搜索、带符号校验的数学题生成器、MoE 路由分析与专家裁剪、权重量化与整数精确计算、推测解码与缓存等研究与工程组件,并以追加式账本同时记录成功结论、空结果和撤回结论。
评论 · 分享第一个看法