Tag
This paper develops a stochastic lexical calculus framework for semantic updates in language models, defining conditions for when language-derived probabilities support meaningful sequential state representations. Empirical experiments validate the framework's stability and coverage under calibrated conditions.
This paper describes a formally verified library of mathematical finance in Lean 4, containing over 200 theorems covering measure-theoretic foundations through derivative pricing, and includes a faithfulness audit to classify results by how their Lean statement relates to the claimed mathematics.
A tweet highlights that Citadel pays quants $800K/year for skills in probability theory and PDEs, and recommends an MIT lecture on stochastic differential equations.