ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

306 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

9 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

32 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

16,691 views

6 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,929 views

3 days 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

151 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

8 views

7 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

30 views

3 days ago

AI Learning Hub - Byte-Size AI Learn
The Core Mathematics Every AI Engineer Must Master

Artificial Intelligence isn't magic—it's math. In this video, we break down the mathematical pillars of artificial intelligence that power ...

6:45
The Core Mathematics Every AI Engineer Must Master

15 views

1 day 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,792 views

5 days ago

Latitude
How to Improve your Prompts Automatically - Latitude

This video is part of Become an AI PM, our free 6-week course where you'll learn how to build AI features that ship reliably and ...

7:40
How to Improve your Prompts Automatically - Latitude

24 views

5 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
Day 31: Calculating the Model 4 Decay Rate (α₄,c) from Real Warm-Up Data

Welcome to Day 31 of the Optimal Start Math with Python Crash Course! Today's lesson focuses on one of the most important ...

18:19
Day 31: Calculating the Model 4 Decay Rate (α₄,c) from Real Warm-Up Data

13 views

6 days ago

BookSpokify
Fine-Tuning Generation Models | Chapter 12 — Hands-On Large Language Models

Go from a base LLM to a high-quality instruction model in three steps: Pretraining, Supervised Fine-Tuning (SFT), and Preference ...

8:47
Fine-Tuning Generation Models | Chapter 12 — Hands-On Large Language Models

10 views

4 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

4,623 views

2 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,200 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

7 days ago

S3CloudHub
#28 Certified AI Practitioner AIF-C01 || Amazon Bedrock Prompt Performance Optimization Handson

Welcome to S3CloudHub! 🚀 Ready to make your Generative AI faster, cheaper, and more accurate? In this hands-on masterclass ...

3:13
#28 Certified AI Practitioner AIF-C01 || Amazon Bedrock Prompt Performance Optimization Handson

18 views

4 days ago

Data Explained
Representation Numeric Encoding | Data Explained

This video explains how information is converted into numeric form so it can be stored, processed, and analyzed by digital ...

3:42
Representation Numeric Encoding | Data Explained

0 views

7 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)

225 views

4 days ago

My AI Teacher
LLM Optimization: Comparing Prompt Engineering, RAG, and Fine-Tuning

These sources examine three primary methods for enhancing Large Language Models: Prompt Engineering, ...

8:17
LLM Optimization: Comparing Prompt Engineering, RAG, and Fine-Tuning

0 views

5 days ago

MoQuant
GARCH Model Implemented in Python to Forecast Volatility

In this video I program the GARCH(1, 1) model to forecast volatility for an inputted stock. The data is fetched from Financial ...

20:20
GARCH Model Implemented in Python to Forecast Volatility

133 views

3 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

Fusionpact
Edge AI Explained | Model Quantization & Knowledge Distillation | AI/ML Class 13

... edge AI - Challenges of deploying large AI models on edge devices - Why model optimization is required - Model Quantization: ...

7:19
Edge AI Explained | Model Quantization & Knowledge Distillation | AI/ML Class 13

59 views

5 days ago

Cliff Weed
Lecture 1-22-26

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

2:57:49
Lecture 1-22-26

19 views

5 days ago

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

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

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

188 views

1 day ago