ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

263 results

Institut Henri Poincaré
Towards autoformalization of textbook mathematics with natural proof checking

By Adrian De Lon — Mathematical Logic Group, University of Boon, Czech Institute of Informatics Robotics and Cybernetics ...

58:14
Towards autoformalization of textbook mathematics with natural proof checking

56 views

6 days ago

Deep Learning Boston
C16- Program aided language models PAL
7:32
C16- Program aided language models PAL

0 views

5 days ago

Jia-Bin Huang
Beyond Softmax: The Future of Attention Mechanisms

Linear attention and its variants have emerged as promising techniques for sequential modeling. Compared to standard softmax ...

34:32
Beyond Softmax: The Future of Attention Mechanisms

20,598 views

5 days ago

Codedigipt
STEP3-VL-10B: This 10B AI Model Beats 100B+ Giants! 🤯

STEP3-VL-10B is redefining what compact multimodal AI models can achieve. With just 10 billion parameters, this cutting-edge ...

4:44
STEP3-VL-10B: This 10B AI Model Beats 100B+ Giants! 🤯

388 views

2 days ago

MY SWAYAM
Introduction to Large Language Models (LLMs) Week 1 | NPTEL ANSWERS 2026 #nptel2026 #myswayam

Introduction to Large Language Models LLMs Week 1 | NPTEL ANSWERS 2026 #nptel2026 #myswayam #nptel #nptelexam ...

3:03
Introduction to Large Language Models (LLMs) Week 1 | NPTEL ANSWERS 2026 #nptel2026 #myswayam

336 views

3 days ago

CppCon
LLMs in the Trenches: Boosting C++ System Programming with AI - Ion Todirel - CppCon 2025

https://cppcon.org --- LLMs in the Trenches: Boosting C++ System Programming with AI - Ion Todirel - CppCon 2025 --- Large ...

1:01:08
LLMs in the Trenches: Boosting C++ System Programming with AI - Ion Todirel - CppCon 2025

2,307 views

4 days ago

Centre International de Rencontres Mathématiques
David bachman: Illustrating math with IA

I will present a survey of ways in which AI can be used as an aid for mathematical illusration. Recording during the thematic ...

1:00:06
David bachman: Illustrating math with IA

58 views

3 days ago

AI Paper Review
Microsoft’s OptiMind: Teaching LLMs to Think Like Optimization Experts

D-Wave QUBO creation and optimization through OptiMind This course is an intelligent automation system that translates complex ...

6:36
Microsoft’s OptiMind: Teaching LLMs to Think Like Optimization Experts

118 views

4 days ago

CompuFlair
How Google DeepMind’s AI Won Silver at the Math Olympiad

FREE Machine Learning Course: https://compu-flair.com/physics-inspired-ml 🚀 Apply to our bootcamp: ...

14:21
How Google DeepMind’s AI Won Silver at the Math Olympiad

900 views

5 days ago

pplpod
The Humble Programmer: Edsger W. Dijkstra and the Art of Code

In this episode of pplpod, we dive into the life of Edsger W. Dijkstra, a theoretical physicist who stumbled into a new field to ...

43:47
The Humble Programmer: Edsger W. Dijkstra and the Art of Code

16 views

4 days ago

Super Data Science: ML & AI Podcast with Jon Krohn
Building Agents 101: Design Patterns, Evals and Optimization (with Sinan Ozdemir) | 959

AgenticAI #AIworkflows #AImodels AI entrepreneur and bestselling author Sinan Ozdemir speaks to @JonKrohnLearns about the ...

1:04:25
Building Agents 101: Design Patterns, Evals and Optimization (with Sinan Ozdemir) | 959

464 views

3 days ago

AI Paper Review
GPT-5 Defeated? This 8B Model Just Outsmarted OpenAI in Math!

PaCoRe (Parallel Coordinated Reasoning)** is a new parallel collaborative reasoning framework developed to overcome the ...

7:01
GPT-5 Defeated? This 8B Model Just Outsmarted OpenAI in Math!

327 views

3 days ago

ThoughtLab
Logic and Cognition: A Mathematical Blueprint for the Mind

This source describes the development of a mathematical blueprint for the human mind by merging cognitive theory with rigorous ...

7:11
Logic and Cognition: A Mathematical Blueprint for the Mind

0 views

5 days ago

ChipTask
Haskell Program Language

Haskell: The Purely Functional Programming Language Standard Haskell is an advanced, purely functional programming ...

6:47
Haskell Program Language

107 views

7 days ago

Zulfan
Network optimization in pyomo

Simple math formulation for value chain or supply chain optimization #pyomo #chemicalengineering ...

12:09
Network optimization in pyomo

0 views

3 days ago

TalkShopWithBen
Bonus Days 13 & 14: Making Model 4 Production-Safe — Guardrails, EMA, and End-to-End Logic

In today's video, we finish the bonus Model 4 series by turning theory into something you could actually trust in a real building.

28:32
Bonus Days 13 & 14: Making Model 4 Production-Safe — Guardrails, EMA, and End-to-End Logic

0 views

2 days ago

ThoughtLab
From Blueprint to Code: Engineering a Digital Mind

Researchers are revolutionizing cognitive science by transforming the ACT-R framework, a conceptual blueprint of human thought ...

6:19
From Blueprint to Code: Engineering a Digital Mind

0 views

5 days ago

Nikolaj-K
I vibe-coded a transformer-based math text classifier & search tool

Subscribe for the follow-ups. Links to OpenAIRE, FAISS an one possible SentenceTransformer library: https://www.sbert.net/ ...

43:26
I vibe-coded a transformer-based math text classifier & search tool

87 views

23 hours ago

Cliff Weed
Lecture 1-20-26

... the statistical modeling stuff I do think it's really important to uh know how to work with data in a programming language so we're ...

2:57:49
Lecture 1-20-26

5 views

1 day ago

Debugging AI
The only way to learn MACHINE Learning in 2026

Machine Learning looks confusing — AI, models, math, hype everywhere. In this video, I explain what Machine Learning really is, ...

4:31
The only way to learn MACHINE Learning in 2026

26 views

5 days ago