Including results for lean automated theorem prover.
Do you want results only for Lean Automate Theorem Prover?
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
1:00:32
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
8.4K viewsDec 17, 2024
YouTubeDeFi Security Summit - DSS
10 minute Lean tutorial : proving logical propositions
7:53
Find in video from 00:19Proving Logical Propositions in Lean Tactic Mode
10 minute Lean tutorial : proving logical propositions
45.4K viewsApr 12, 2020
YouTubeXena Project
Automatic Theorem Proving (Example - 1)
5:19
Find in video from 01:05Proving the Law of Addition using Automatic Theorem Proving
Automatic Theorem Proving (Example - 1)
6K viewsSep 12, 2020
YouTubeDr. G Kiran Kumar tutorials
Lean Together 2021: Generative Language Modeling for Automated Theorem Proving
58:21
Lean Together 2021: Generative Language Modeling for Automated Theorem Proving
2.5K viewsJan 5, 2021
YouTubeleanprover community
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover
1:34:26
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover
2.2K viewsOct 18, 2024
YouTubeHarvard CMSA
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)
1:12:08
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive Theorem Prover (Part 1)
869 viewsNov 26, 2021
YouTubeParker Glynn-Adey
Canonical for Automated Theorem Proving in Lean | Chase Norman
22:50
Canonical for Automated Theorem Proving in Lean | Chase Norman
80 views5 months ago
YouTubeIcelandic Centre of Excellence in Theoretical CS
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
Find in video from 01:02Overview of Lean 4
Seminar: Introduction to the Lean 4 theorem prover and programmin…
9.8K viewsFeb 15, 2023
YouTubeCertora
3:54
Seed-Prover 1.5: Lean Theorem Proving
94 views3 months ago
YouTubeAI Research Roundup
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
61 views3 months ago
YouTubeINI Seminar Room 2
20:50
Let's code math | Lean4 | Theorem prover
24.3K viewsJul 30, 2024
YouTubeSplience
24:07
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)
687 views2 months ago
YouTubeleanprover community
1:02:46
[MERL Seminar Series Spring 2026] Proving and Improving: Language Models for Theorem Proving and ...
25 views1 month ago
YouTubeMitsubishi Electric Research Laboratories (ME…
16:39
lean-auto (Yicheng Qian at Computer Aided Verification 2025)
503 views6 months ago
YouTubeleanprover community
2:57
Aristotle: IMO‑Level Automated Theorem Prover
282 views6 months ago
YouTubeAI Research Roundup
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
187 views2 months ago
YouTubeFormalisation of Mathematics Seminar @ Cam
2:53
big brain giga chad mentat #lean #proof #mathemtics #maths #science #numbers #number #hardproblems
6K views3 months ago
YouTubeK-Theory
14:30
The Future of Math is in Programming
12.2K views7 months ago
YouTubeAnk Yog
18:18
Aristotle: IMO-level Automated Theorem Proving (Oct 2025)
365 views6 months ago
YouTubeAI Paper Slop
31:47
How Mathematicians can Get Started with Lean
14.8K viewsFeb 27, 2025
YouTubeAlex Kontorovich
0:53
About Lean programming Language
310 views9 months ago
YouTubeVLR Training
21:30
Lean
Feb 15, 2023
Microsoft
The Future of Mathematics?
1:14:48
Find in video from 10:07Fermats Last Theorem
The Future of Mathematics?
114.5K viewsOct 1, 2019
YouTubeMicrosoft Research
18:54
AIが数学難問を証明。天才タオが警告する1%の真実 ／ GPT-5.2・エルデシュ問題・テレンス・タオ・Aristotle・数学の産業化
9.5K views2 months ago
YouTube情報の灯台_2nd
44:48
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference
11.2K viewsApr 12, 2021
YouTubeOntology Talk with Adam Pease
33:57
Reasoning Engines: The Next Frontier in AI with Carina Hong & Byron Cook
3.3K views5 months ago
YouTubeMadrona
Proof, Provers, and the Lean Theorem Prover - Summer Special!
1:20:39
Find in video from 28:27Lean Theorem Prover
Proof, Provers, and the Lean Theorem Prover - Summer Special!
2.8K viewsAug 12, 2021
YouTubeData Science Cornwall
8:21
DeepSeek Prover-V2 7B: Formal Theorem Proving in Lean 4 - Install Locally
2.1K views11 months ago
YouTubeFahd Mirza
4:44
Seed-Prover: A New LLM for Math Proofs
133 views8 months ago
YouTubeAI Research Roundup
14:41
Using the Lean Theorem Prover on CoCalc with VS Code and a Compute Server
376 viewsMay 10, 2024
YouTubeCoCalc by SageMath, Inc.
See more