Yaroslav Isachenkov

AI Safety researcher working on formal verification and optimal control for alignment. Developed a 190-module Lean 4 machine-verified core (0\text{ sorryAx}) implementing GST and deterministic risk controllers. Author of Zenodo-indexed research papers (DOI).

Personal Website

https://zenodo.org/search?q=metadata.creators.person_or_org.name%3A%22Isachenkov%2C%20Yaroslav%22&l=list&p=1&s=10&sort=mostviewed

Projects

No grants recorded.