Why Are LLMs Not Better at Finding Proofs? [video](youtube.com)6 points by AbstractPlay 361 days ago | 1 comment