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

(arxiv.org)

1 points | by yaccb3 5 hours ago ago

1 comments