PeopleofSuperintelligence

Videos of Kaiyu Yang

YouTube videos in which Kaiyu Yang speaks or appears, newest first. A model chose them from YouTube search results. List updated 20 October 2026.

  1. Kaiyu Yang - Formal Reasoning Meets LLMs: Toward AI for Mathematics and VerificationBoston Computation Club · 2 August 2025 · 1 h 14 min
  2. Formal Reasoning Meets LLMs: Toward AI for Mathematics and VerificationSimons Institute for the Theory of Computing · 16 April 2025 · 1 h 5 min
  3. Adv. LLM Agents MOOC | UC Berkeley Sp25 | LMs for Autoformalization+Theorem Proving by Kaiyu YangBerkeley RDI · 13 April 2025 · 52 min
  4. LLM Understanding: 18. Kaiyu YANG "Towards an AI Mathematician"Stevan Harnad · 8 June 2024 · 1 h 15 min
  5. Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learningleanprover community · 1 November 2023 · 53 min

Video data from YouTube API Services. By watching you agree to the YouTube Terms of Service. How we use YouTube data.