Hacker News new | ask | show | jobs
by pama 137 days ago
The advantage of the formal proof is that the LLM in a loop can know that it failed and keep trying.