Sasha Rush
@srush_nlp
Third in a series of blogs on Lean for ML. My current status is that:
* Formal verification (>2026) is the only plausible way we will be able to write serious code with LLMs.
* Formal verification (in 2026) is terrible and understanding anything is beyond human ability.
