Where Is Mathematics Going? Large Language Models And Lean Proof Assistant
Where Is Mathematics Going? Large Language Models And Lean Proof …
7 个月之前
hackaday.com
Doing a math assignment with the Lean theorem prover
Doing a math assignment with the Lean theorem prover
2020年4月5日
ahelwer.ca
Lean
21:30
Lean
2023年2月15日
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 …
已浏览 716 次7 个月之前
YouTubeFields Institute
Lean 4 Math/Physics/LLM --Xingyu REN
2:00:56
Lean 4 Math/Physics/LLM --Xingyu REN
已浏览 473 次7 个月之前
bilibili夏山-繁树
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
已浏览 7.9万 次2025年5月11日
YouTubeTerence Tao
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathemat…
已浏览 4923 次2023年9月7日
YouTubeTopos Institute
47:15
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathem…
已浏览 952 次2025年5月19日
YouTubeCompSciOxford
1:08
Tau Q&A [2-26-4] Tau Language vs Lean for Math Formalization
已浏览 7 次1 个月前
YouTubeLEARNTAU
39:06
Human and AI Solution Paths in Formalizing Expert Mathematics | …
已浏览 12 次2 周前
YouTubeIVADO
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Softwar…
已浏览 1313 次2025年1月16日
YouTubeConference on Computer-Aided Verification
0:53
About Lean programming Language
已浏览 319 次10 个月之前
YouTubeVLR Training
52:07
Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lea…
已浏览 5502 次2025年1月14日
YouTubeNational Museum of Mathematics
20:50
Let's code math | Lean4 | Theorem prover
已浏览 2.4万 次2024年7月30日
YouTubeSplience
16:30
Proving true statements in Lean but it gets cursed
已浏览 152 次2 周前
YouTubeIcely Puzzles
1:00:52
Lean Based AI for Math --Rongge XU
已浏览 685 次7 个月之前
bilibili夏山-繁树
11:54
Introductory Proof with Lean 4 - Natural Numbers
已浏览 1.9万 次2022年10月4日
YouTubeMathPom
2:53
big brain giga chad mentat #lean #proof #mathemtics #maths #scie…
已浏览 6109 次5 个月之前
YouTubeK-Theory
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
已浏览 4206 次2023年2月14日
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
已浏览 46.9万 次2023年8月31日
YouTubeQuanta Magazine
49:35
Alex Gu | LeanDojo: Theorem Proving with Retrieval-Augmente…
已浏览 2001 次2023年10月11日
YouTubeHarvard CMSA
3:31
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anan…
已浏览 18 次9 个月之前
linkedin.com
Math is the root of all hard science. If we can build a system that survi…
5 个月之前
linkedin.com
6:07
Creating a Language-Rich Mathematics Classroom
已浏览 2000 次2018年2月20日
Study.com
34:35
Is This the End of Handwritten Math? Introducing Lean
已浏览 5.5万 次6 个月之前
YouTubeAnk Yog
What is Lean? | Lean Thinking - Lean Enterprise Institute
2023年1月27日
lean.org
51:30
Mini-Course on LEAN 4 (1/5)
已浏览 717 次2025年2月24日
YouTubeInstitute for Mathematical Sciences
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming …
已浏览 9950 次2023年2月15日
YouTubeCertora
13:55
Lean创始人Leo de Moura专访：当AI会"幻觉"，数学证明如何保证10…
已浏览 913 次2 个月之前
bilibiliSAIRfoundation
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
已浏览 3900 次2024年11月6日
YouTubeZUCCMAP
观看更多视频
静态缩略图占位符