🤖 AI & Machine Learning🔬 Science & Research
It is a weird weird year to be a formal methods expert.
Some unorganized thoughts on the new @AnthropicAI and @theoremlabs post on formal verification (<a target="_blank" href="https://www.anthropic.com/research/formal-verification" color="blue">anthropic.com/research/forma…</a>):
- This is very c...
Oct 26, 2026
