Verifying coding AIs for LLM powered software
aunhumano.com