0:00

Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean

Name: Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
Uploaded: 2026-06-07T16:12:44.732Z
Channel: leanprover community
Description: Download Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean from YouTube as MP3 or MP4 for free on TubeGalore.

leanprover community

0 views

Recently

📥 Download Options

Select Format:

Free download • No registration required • High quality

Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean

📥 Download Options

🔥 Related Videos