Does a recent proof on open induction formalize the logical limits of LLMs?

(arxiv.org)

1 points | by yaccb3 2 days ago ago

1 comments