Does a recent proof on open induction formalize the logical limits of LLMs? (arxiv.org) 1 points by yaccb3 4mo ago ↗ HN
1 comment
[ 4.6 ms ] story [ 15.3 ms ] thread