Lean AI
Lean AI
Nov 7, 2024
substack.com
Leanprove – il metodo Lean Six Sigma in Italia
Leanprove – il metodo Lean Six Sigma in Italia
6 months ago
leanprove.com
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
Generative AI for Asset Management | IBM
Generative AI for Asset Management | IBM
Feb 5, 2024
ibm.com
DeepSeek’s New Math AI Model Can Help Prove Formal Math Theorems
DeepSeek’s New Math AI Model Can Help Prove Formal Math Theorems
360 views11 months ago
gadgets360.com
Five Trends in AI and Data Science for 2025 | Thomas H. Davenport and Randy Bean
Five Trends in AI and Data Science for 2025 | Thomas H. Davenport and Randy Bean
Jan 8, 2025
mit.edu
Sanjeev Arora | How could a Superhuman AI mathematician come about?
1:04:24
Sanjeev Arora | How could a Superhuman AI mathematician come about?
32 views2 weeks ago
YouTubeHarvard CMSA
The AI That Actually Proves Math: Breaking Down LongCat Flash Prover 🧮🧠
6:13
The AI That Actually Proves Math: Breaking Down LongCat Flash Prover 🧮🧠
1 views1 week ago
YouTubeAINexLayer
Make It Formal Podcast: The Creator of Lean on AI, Proof, and the Future of Verified Software
47:22
Make It Formal Podcast: The Creator of Lean on AI, Proof, and the Future of Verified Software
90 views2 weeks ago
YouTubeLatinum AI
[MERL Seminar Series Spring 2026] Proving and Improving: Language Models for Theorem Proving and ...
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…
🧐👉 Meituan releases LongCat-Flash-Prover: AI proves world record-breaking math problem #QixNewsAI
0:18
🧐👉 Meituan releases LongCat-Flash-Prover: AI proves world record-breaking math problem #QixNewsAI
128 views1 week ago
YouTubeQixNews Tin Nhanh
Formalizing QFT: Machine-Checked Physics in Lean 4
1:30
Formalizing QFT: Machine-Checked Physics in Lean 4
2 weeks ago
YouTubeAI Research Roundup
Formal Math news from Axiom, Math Inc, Leanstral, Ulam
6:57
Formal Math news from Axiom, Math Inc, Leanstral, Ulam
155 views2 weeks ago
YouTubePrzemek Chojecki
Formal AI Reasoning with ImandraX & CodeLogician | Session 1 of AI Reasoning Weekly
48:28
Formal AI Reasoning with ImandraX & CodeLogician | Session 1 of AI Reasoning Weekly
2 views3 weeks ago
YouTubeImandra
VS Code - IntelliSense
6:20
VS Code - IntelliSense
279.7K viewsMar 22, 2017
YouTubeVisual Studio Code
Diagnosing Lean Conditions
14:36
Diagnosing Lean Conditions
236.2K viewsDec 11, 2020
YouTubeBlueDriver
AI-based future logistics by Toyota
2:08
AI-based future logistics by Toyota
109.4K viewsJun 21, 2018
YouTubeToyotaMHEurope
LEI's Lean Transformation Framework Animated
7:40
LEI's Lean Transformation Framework Animated
177.1K viewsJul 23, 2015
YouTubeLean Enterprise Institute
Genmitsu 3018-PROVer Z-Probe Setup Tutorial | SainSmart
1:34
Genmitsu 3018-PROVer Z-Probe Setup Tutorial | SainSmart
39.4K viewsMay 18, 2020
YouTubeSainSmart
Simulation - Lean Principles Applied to Construction (v 1.2)
6:34
Simulation - Lean Principles Applied to Construction (v 1.2)
66K viewsOct 4, 2016
YouTubeLean Team
The Big 5 (+1) Lean Tools - Lean Methods casually explained
4:33
The Big 5 (+1) Lean Tools - Lean Methods casually explained
10.2K viewsAug 7, 2020
YouTubeSo geht Toyota Kata
Sainsmart 3018 PROVer Mini Cnc Build, Test and Review - Part 1
22:53
Sainsmart 3018 PROVer Mini Cnc Build, Test and Review - Part 1
320.6K viewsFeb 23, 2020
YouTubetechydiy
Lean Manufacturing: The Path to Success with Paul Akers (Pt. 2)
24:29
Lean Manufacturing: The Path to Success with Paul Akers (Pt. 2)
205.3K viewsFeb 19, 2020
YouTubeUpFlip
Lean Canvas essentials for scientists, tech transfer, and research commercialization projects
9:28
Lean Canvas essentials for scientists, tech transfer, and research commercialization projects
1.1K viewsNov 26, 2020
YouTubeRob Fitzpatrick
Sainsmart Genmitsu 3018-PROver CNC Router Review and Test(MDF, Acrylic and Aluminum)
11:29
Sainsmart Genmitsu 3018-PROver CNC Router Review and Test(MDF, Acrylic and Aluminum)
63.2K viewsSep 6, 2020
YouTubeReviewLamp
[Demo] Leon - Your Open-Source Personal Assistant (1.0.0-beta.0 - English)
1:45
[Demo] Leon - Your Open-Source Personal Assistant (1.0.0-beta.0 - English)
206.2K viewsFeb 4, 2019
YouTubeLeon AI
DeepSeek开源「Prover-V2」强推理模型❗️网友：算法大赛从没有这么简单过..
2:06
DeepSeek开源「Prover-V2」强推理模型❗️网友：算法大赛从没有这么简单过..
7.7K views11 months ago
bilibili鱼C-小甲鱼
Lean Manufacturing Tour
9:14
Lean Manufacturing Tour
458.7K viewsFeb 18, 2010
YouTubeSystem100
Lean Manufacturing Simulation
11:58
Lean Manufacturing Simulation
31.7K viewsFeb 26, 2021
YouTubeProsit Consulting
See more