Does a recent proof on open induction formalize the logical limits of LLMs?(arxiv.org)
1 pointby yaccb33 hours ago1 comment