4 ms·
LLMs as Copilots for Theorem Proving in Lean
- anifow 3y agothis is an excellent step towards the useability revolution, interesting to see how long it will take to permeate to a standard for high-school and undergraduate students to get to real work faster and in a more interactive way more reactions on X https://twitter.com/AnimaAnandkumar/status/1734080043196768348 https://twitter.com/AnimaAnandkumar/status/17340800431967683...