标签
这篇文章回顾了在Rocq中使用程序逻辑验证连续分布精确采样器的过程，详细阐述了形式验证中充分性定理面临的挑战与创新。
对实数哲学本质的探讨，质疑其在数学中的真实性与基础。
探索通过预测下一个token将使用的MoE专家来改进CPU/GPU offload，实现了30->150-200 tg/s的加速，并质疑实现可行性。