Announcement_32
🎤 Invited talk at the 1st Munzur Mathematics and AI Workshop on how LLMs got so good at mathematical proofs, and what the benchmarks hide. Slides (in Turkish) are here.
🎤 Invited talk at the 1st Munzur Mathematics and AI Workshop on how LLMs got so good at mathematical proofs, and what the benchmarks hide. Slides (in Turkish) are here.