Seonglae ChoVerifiability, Limit of LLM ability
Clearly recognizing the limits of LLMs is important for Entrustment to avoid waste of time. Verifiability is the limit that tells us what we can't implement via large language models, and it cannot be solved with agentic approaches.
Verifiability is the Limit
LLMs have created an enormous turmoil within the software engineering community within the past 5 years, much of it revolving around one central question, what is the future of our profession?
https://alperenkeles.com/posts/verifiability-is-the-limit/