Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning

Lean for the Curious Mathematician 2023 Kaiyu Yang, Theorem Proving via Machine Learning
Share:

Download MP3


Similar Tracks

Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover leanprover community
Ankit Anand and Abbas Mehrabian | From Theorem Proving to Disproving Harvard CMSA
Lean Together 2024: Yicheng Qian, Lean-auto leanprover community
11. Introduction to Machine Learning MIT OpenCourseWare
Legion Retreat 2024 - Low-Latency, High-Performance LLM Serving and Fine-tuning - Zhihao Jia Legion Programming System
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models, Kaiyu Yang et al. - Stanford Brando Miranda
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference Ontology Talk with Adam Pease
6 Optimizing MPI Shared Memory Communication for Modern Multi core Systems UCF Consortium
The Future of Mathematics? Microsoft Research
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean leanprover community
Frank Sifei Luan Dissertation Talk 12.6.2024 Frank Luan
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean leanprover community
Stanford CS236: Deep Generative Models I 2023 I Lecture 1 - Introduction Stanford Online
Lecture 1: Introduction to Deep Learning for Computer Vision Michigan Online
Live Webinar #9: Event Stream Processing with Python, Iceberg, Batch Mode, and AI RisingWave
Lean Together 2024: Leonidas Lampropoulos, Property based testing in Coq leanprover community
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof leanprover community
33. Enhancing Automated Program Repair through Fine-tuning and Prompt Engineering (Cite 14) 리뷰 Human-AI Collaborative Programming Platform
15 - Zero Product LeanFirstSteps
Andrew Ng: Opportunities in AI - 2023 Stanford Online