ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

34,335 results

Lex Clips
How to learn Lean programming language | Terence Tao and Lex Fridman

Lex Fridman Podcast full episode: https://www.youtube.com/watch?v=HUkBz-cdB-k Thank you for listening ❤ Check out our ...

4:27
How to learn Lean programming language | Terence Tao and Lex Fridman

23,626 views

9 months ago

Vinh Nguyen
The AI That Proves Math

https://github.com/meituan-longcat/LongCat-Flash-Prover LongCat-Flash-Prover: Native Formal Reasoning via Agentic ...

6:32
The AI That Proves Math

69 views

7 days ago

Warren Powell
The Next Generation of AI: A Universal Framework for Sequential Decision Problems

Large language models have emerged as powerful tools that facilitate the process of humans interacting with computers, but they ...

47:26
The Next Generation of AI: A Universal Framework for Sequential Decision Problems

78 views

5 days ago

Optimization4All
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

In this hands-on session, we'll explore the art of mathematical optimization modeling through a practical worker-task scheduling ...

1:53:49
Hands-On MIP Modeling: From Simple Formulations to Scalable Solutions with Jens-Peter Joost

568 views

Streamed 2 weeks ago

Aaron Gray
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

Oxford Strachey Lectures Leo De Moura: Formalizing the Future: Lean's Impact on Mathematics, Programming, and AI How can ...

47:15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI

370 views

7 months ago

Harry Connor AI
The Math Needed for AI/ML (Complete Roadmap)

The essential math skills you need in artificial intelligence and machine learning, including linear algebra, calculus, probability, ...

6:08
The Math Needed for AI/ML (Complete Roadmap)

347,035 views

9 months ago

Discover AI
Self Evolving Dual AI Agent System = AutoResearch 2.0 (LSE)

The most elegant thing about LSE (Learning to Self-Evolve) is how it tackles the "credit assignment" nightmare of self-correction ...

27:33
Self Evolving Dual AI Agent System = AutoResearch 2.0 (LSE)

5,138 views

4 days ago

Tsoding Daily
I tried Lean and instantly got PhD in Math

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:01:37 - Installing ...

3:15:10
I tried Lean and instantly got PhD in Math

102,405 views

1 month ago

Discover AI
Can AI Evolve Itself? Topological Graph Self-Learning (HyEvo)

Infinite Graph Topology, Caged AI Self-Evolution: HyEvo. This video (based on the pre-print) represents a vital paradigm shift from ...

24:27
Can AI Evolve Itself? Topological Graph Self-Learning (HyEvo)

2,460 views

2 days ago

Solving Optimization Problems
Large Language Models for Optimization

In thid video, I am going to talk about potential of large language models for solving optimization problems. + Matlab/Python codes ...

1:30
Large Language Models for Optimization

107 views

5 months ago

Vinh Nguyen
Reinforcement Learning

https://rlhfbook.com/c/06-policy-gradients Reinforcement Learning | RLHF Book by Nathan Lambert This text provides a technical ...

7:12
Reinforcement Learning

67 views

10 days ago

Discover AI
When an AI can Rewrite Itself (Darwin-Gödel HyperAgent)

Meta's HyperAgents: The Science of Self-Rewriting AI. The Illusion of Self-Learning AI: How Meta's HyperAgents Actually Work.

26:54
When an AI can Rewrite Itself (Darwin-Gödel HyperAgent)

3,866 views

3 days ago

Apple Developer
Accelerate your machine learning workloads with the M5 and A19 GPUs | Apple Developer

Discover how to take advantage of the M5 and A19 GPUs to accelerate machine learning. Find out how to use the Neural ...

34:26
Accelerate your machine learning workloads with the M5 and A19 GPUs | Apple Developer

35,253 views

7 days ago

Daniyar
I Built 3D in C (No Matrices)

This project demonstrates a wireframe renderer in C. It uses manual transformations and perspective projection without using ...

4:04
I Built 3D in C (No Matrices)

1,272 views

13 days ago

Professor Py: AI Engineering
DSPy in Python: Optimize RAG Prompts Against Eval Metrics

DSPy turns RAG tuning from guesswork into metric-driven optimization—learn a reproducible workflow to tune retrieval and ...

7:50
DSPy in Python: Optimize RAG Prompts Against Eval Metrics

5 views

3 days ago

Neon Coder
How to make ChatGPT (to understand the math)

This is a quick overview of modern LLMs like GPT-2 This video is inspired by 3b1b's videos and Andrej Karpathy's "Zero to Hero" ...

12:48
How to make ChatGPT (to understand the math)

30 views

9 days ago

PyData
Chris Rackauckas-Why Julia_s GPU-Accelerated ODE Solvers are 20x-100x Faster than Jax and PyTorch

You may have seen the benchmark results and thought, "how the heck are the Julia ODE solvers on GPUs orders of magnitude ...

34:27
Chris Rackauckas-Why Julia_s GPU-Accelerated ODE Solvers are 20x-100x Faster than Jax and PyTorch

1,587 views

2 months ago

Amit Shankar
Structural Equation Modeling (SEM) in R

Today we will understand how to run the analysis when you have model with you and you want to establish the relationship ...

43:02
Structural Equation Modeling (SEM) in R

341 views

2 weeks ago

Software Engineering Courses
Formal Languages and Automata - Chapter 1: Foundational concepts of computation models

This chapter introduces the foundational concepts of computation models, exploring how the flexibility of an automaton's ...

6:39
Formal Languages and Automata - Chapter 1: Foundational concepts of computation models

81 views

7 days ago

HYPOTHALAMUS Ai
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

The courses DECISION-MAKING ARTIFICIAL INTELLIGENCE, BASIC & ADVANCED GAMS are organized by the Research ...

13:27
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

228 views

9 months ago