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

 (arxiv.org)

1 points | by yaccb3 4 days ago ago

1 comments