stochastic-calculus

本文开发了一种用于语言模型语义更新的随机词汇演算框架，定义了语言推导的概率支持有意义的序列表示状态的条件。实证实验验证了该框架在校准条件下的稳定性和覆盖性。

本文描述了Lean 4中一个形式化验证的金融数学库，包含200多个定理，涵盖从测度论基础到衍生品定价的内容，并包含一个保真度审计，根据Lean语句与所声称数学之间的关系对结果进行分类。

一条推文强调，Citadel 每年向掌握概率论和偏微分方程技能的量化分析师支付 80 万美元，并推荐一场关于随机微分方程的 MIT 讲座。