https://blog.janestreet.com/formal-methods-at-jane-street-index/
Formal methods and the future of programming
Yaron Minsky
Jun 07, 2026
"...agents thrive on feedback.... formal methods are another powerful form of feedback that can increase the agents’ ability to solve hard problems."