Why Are LLMs Not Better at Finding Proofs? [video]
youtube.com> Why Are LLMs Not Better at Finding Proofs? [video]
Are they able to ?
"Computers are ... [1] , they can only give answers"
[1] i cannot remember the exact quote.
> Why Are LLMs Not Better at Finding Proofs? [video]
Are they able to ?
"Computers are ... [1] , they can only give answers"
[1] i cannot remember the exact quote.