Doing a math assignment with the Lean theorem prover
Doing a math assignment with the Lean theorem prover
Apr 5, 2020
ahelwer.ca
Lean
21:30
Lean
Feb 15, 2023
Microsoft
AI for Math: Neuro-Symbolic Auto-Formalization into Lean via Joint Embeddings
1:30:23
AI for Math: Neuro-Symbolic Auto-Formalization into Lean via Joint Embeddings
589 views6 months ago
YouTubeFields Institute
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
78.5K viewsMay 11, 2025
YouTubeTerence Tao
CriticLean: LLM Critic for Math Proofs
4:50
CriticLean: LLM Critic for Math Proofs
40 views10 months ago
YouTubeAI Research Roundup
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
4.9K viewsSep 7, 2023
YouTubeTopos Institute
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
47:15
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
952 views11 months ago
YouTubeCompSciOxford
1:08
Tau Q&A [2-26-4] Tau Language vs Lean for Math Formalization
7 views1 month ago
YouTubeLEARNTAU
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1.3K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
0:53
About Lean programming Language
319 views10 months ago
YouTubeVLR Training
52:07
Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024
5.5K viewsJan 14, 2025
YouTubeNational Museum of Mathematics
20:50
Let's code math | Lean4 | Theorem prover
24K viewsJul 30, 2024
YouTubeSplience
3:33
This AI Tutor Solves Math Proofs (Step-by-Step)
27 views10 months ago
YouTubeCollapsedLatents
1:00:52
Lean Based AI for Math --Rongge XU
681 views6 months ago
bilibili夏山-繁树
11:54
Introductory Proof with Lean 4 - Natural Numbers
19K viewsOct 4, 2022
YouTubeMathPom
20:09
The Language of Mathematics and Symbols
49.8K viewsAug 20, 2020
YouTubexan mos
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
4.2K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
1:40:03
Math Talk! Dr Kevin Buzzard, Langlands, diversity, and proof assistants.
3.6K viewsAug 3, 2022
YouTubeK-Theory
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
466.1K viewsAug 31, 2023
YouTubeQuanta Magazine
49:35
Alex Gu | LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
2K viewsOct 11, 2023
YouTubeHarvard CMSA
3:31
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anandkumar posted on the topic | LinkedIn
18 views9 months ago
linkedin.com
Math is the root of all hard science. If we can build a system that survives mathematics, we get a blueprint for intelligence that scales far beyond theorem-proving. But it’s brutally hard to build a… | Ksenia Se
5 months ago
linkedin.com
6:07
Creating a Language-Rich Mathematics Classroom
2K viewsFeb 20, 2018
Study.com
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views6 months ago
YouTubeAnk Yog
Introducing Math Lingo: Become fluent in Math
May 18, 2022
tinytap.com
4:31
The languages that make maths easier
May 26, 2023
bbc.com
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
10K viewsFeb 15, 2023
YouTubeCertora
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
4.1K viewsNov 6, 2024
YouTubeZUCCMAP
Value Stream Mapping Overview - Lean Enterprise Institute
Sep 8, 2022
lean.org
See more