LeanDojo: Theorem Proving in Lean using Language Models LLMs as Copilots for Theorem Proving Your browser does not support HTML video. We introduce Lean Copilot […]