https://alperenkeles.com/posts/verifiability-is-the-limit/
Verifiability is the Limit
Alperen Keles
2025-03-09
“With LLMs, we are able to offload code writing phase to LLMs, but the verification process cannot be offloaded, only pushed up to a different layer.”