ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

268 results

AI Papers Podcast Daily
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Numina-Lean-Agent is a new AI system designed to solve complex math problems using a special programming language called ...

18:03
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

8 views

5 days ago

Lambda World
LW 2025 - Total Functions for Automated Reasoning:Building Terminating Theorem Provers-Alex Gryzlov

While much of today's AI focuses on statistical methods, a well-established parallel exists in the form of symbolic, also known as ...

41:07
LW 2025 - Total Functions for Automated Reasoning:Building Terminating Theorem Provers-Alex Gryzlov

30 views

6 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! 🤯

522 views

6 days ago

Xander Gouws
I made an AI detector that doesn't suck

Patreon: https://www.patreon.com/posts/bit-about-me-148131877 Here I go over how to build your own AI detector from scratch.

8:03
I made an AI detector that doesn't suck

14,192 views

6 days ago

BitBiasedAI
DeepSeek Model 1: The AI Revolution You Didn't See Coming

Link to our newsletter: https://bitbiased.ai/ In this deep dive, we're exploring DeepSeek Model 1, the open-source AI breakthrough ...

16:43
DeepSeek Model 1: The AI Revolution You Didn't See Coming

2,774 views

4 days ago

NeuralNine
Ridge Regression From Scratch in Python (Mathematical)

In this video, we implement Ridge regression from scratch in Python. First there is a mathematic part for the theory and then the ...

17:18
Ridge Regression From Scratch in Python (Mathematical)

1,759 views

4 days ago

ML Guy
Why ChatGPT Can Respond So Fast (It’s Not the Model)

ChatGPT doesn't “rethink” your entire conversation every time you press enter, and that's why it feels instant. In this video, we ...

6:51
Why ChatGPT Can Respond So Fast (It’s Not the Model)

1,575 views

2 days ago

ChipTask
MATLAB Programming language

MATLAB: The Definitive Guide to Matrix Computing and Programming MATLAB is a specialized computing environment and ...

5:56
MATLAB Programming language

9 views

6 days ago

NVIDIA Developer
How to Get Started with NVIDIA Earth-2 in Less Than 5 Minutes

NVIDIA Earth-2 is a revolutionary planetary digital twin platform that uses Generative AI and accelerated computing to predict ...

4:39
How to Get Started with NVIDIA Earth-2 in Less Than 5 Minutes

3,845 views

1 day ago

Xiaol.x
From Residual Connections to Manifold-Constrained Hyper-Connections: Neural Network Architecture

From Residual Connections to Manifold-Constrained Hyper-Connections: A Deep Dive into Modern Neural Network Architecture ...

4:16
From Residual Connections to Manifold-Constrained Hyper-Connections: Neural Network Architecture

144 views

3 days ago

The AI Power Shift
Why Tiny AI Models Outperform Massive Ones

This video dives into current ai trends, explaining how model optimization and algorithm efficiency are becoming more critical than ...

3:58
Why Tiny AI Models Outperform Massive Ones

0 views

6 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

6 days ago

Lucas Barake
Actor Model | Effect.ts Cluster

Enroll to Practical Effect here: https://lucasbarake.com/ 00:00 Introduction & Prerequisites 00:13 Why We Need Actors 00:34 The ...

34:01
Actor Model | Effect.ts Cluster

1,138 views

2 days ago

Arohi Rup
From Math to LLMs

Large Language Models are often described in terms of scale and data, but at their core, they are deeply mathematical systems.

6:34
From Math to LLMs

0 views

4 days ago

Happy Path Programming
#119 FP Reaches the Masses with Paul Snively (Video Version)

We chat with Paul Snively (https://x.com/JustDeezGuy) about how Functional Programming has gone mainstream. Resources ...

1:29:17
#119 FP Reaches the Masses with Paul Snively (Video Version)

205 views

3 days ago

Praveen Govindaraj
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

AI Just Solved the Putnam… All of It. What happens when a general coding agent stops being just a coder… and starts ...

4:45
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

27 views

2 days ago

Visualpath Pro
Build Smart AI Models Using Data Science with GenAI Online Demo By Visualpath

DataScience #GenerativeAI #AIModels Build Smart AI Models Using Data Science with Generative AI – Step by Step! Want to ...

21:06
Build Smart AI Models Using Data Science with GenAI Online Demo By Visualpath

27 views

3 days ago

The Simplified Studio
Choosing the Right AI Model

Choosing an AI model doesn't require a PhD—it's a product decision, and this video gives you a practical four-question checklist ...

7:58
Choosing the Right AI Model

25 views

1 day ago

KAI-Square-umbc
Recursive Language Model

In this talk, we discuss Recursive Language Models (RLMs)—a new approach to addressing context overload and performance ...

47:42
Recursive Language Model

53 views

5 days ago

Global Initiative of Academic Networks - GIAN
T01 GAN for Various Applications

... is so you might have seen uh all the models basically uses gradient descent or any other optimization techniques to update the ...

1:12:52
T01 GAN for Various Applications

0 views

6 days ago