← Back to context

Comment by pama

16 days ago

The advantage of the formal proof is that the LLM in a loop can know that it failed and keep trying.

0 comments

pama

Reply

No comments yet

Contribute on Hacker News ↗