ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

22,032 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,944 views

9 months ago

Optimization City
3 Ways to Solve a Linear Programming Model: Graphical, GAMS & Online Solver

Ready to master linear programming in three powerful ways? In this video, we walk you through: - Graphical method by ...

16:00
3 Ways to Solve a Linear Programming Model: Graphical, GAMS & Online Solver

107 views

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

767 views

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

380 views

8 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

72 views

12 days ago

Digital Marts
Pyomo Tutorial for Beginners | Python Optimization with Real Examples

Learn how to solve real-world optimization problems using Pyomo, the powerful open-source optimization modeling language in ...

6:52
Pyomo Tutorial for Beginners | Python Optimization with Real Examples

967 views

8 months 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

103,269 views

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

351,052 views

9 months 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

GAMS Lessons
GAMSPy: High-Performance Optimization Meets Python

Create complex mathematical models effortlessly with this high-performance optimization package. Try it now: Comes with a ...

1:38
GAMSPy: High-Performance Optimization Meets Python

378 views

7 months ago

Vinh Nguyen
[Video Special] The Logistics Engine: Decoding NVIDIA Hopper’s SOTA Matmul

https://www.aleksagordic.com/blog/matmul Inside NVIDIA GPUs: The Anatomy of High-Performance Matmul Kernels This ...

7:23
[Video Special] The Logistics Engine: Decoding NVIDIA Hopper’s SOTA Matmul

1,408 views

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

69 views

2 weeks ago

Roberto Rossi
Back-of-the-envelope modelling via Generative Mathematical Programming in Rhetor

What if building an optimisation model felt less like coding… and more like having a sharp teammate at the whiteboard? In this ...

4:34
Back-of-the-envelope modelling via Generative Mathematical Programming in Rhetor

43 views

1 month ago

CVXPY
Daniel Cederberg — Disciplined Nonlinear Programming

In this talk I introduce disciplined nonlinear programming (DNLP), a new syntax for specifying nonlinear programming problems.

34:59
Daniel Cederberg — Disciplined Nonlinear Programming

53 views

3 weeks ago

GAMS Lessons
Unlock the Power of Optimization in Python | GAMSPy Webinar

Discover how to harness the power of Python for mathematical optimization with GAMSPy. In this webinar, hosted by GAMS ...

52:51
Unlock the Power of Optimization in Python | GAMSPy Webinar

438 views

6 months ago

Prof Gio | Giordano Scarciotti
Optimization Masterclass - Hands-on: How to Solve Convex Optimization Problems in CVXPY Ep6

This tutorial is ideal for those who want to learn how to implement optimization models in code and understand how CVXPY ...

54:00
Optimization Masterclass - Hands-on: How to Solve Convex Optimization Problems in CVXPY Ep6

1,289 views

10 months 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:29
Course: Machine Learning and Optimization, Using GAMS Mathematical Programming Algorithms

321 views

9 months ago

vlogize
Converting AMPL Models to CPLEX

If you're familiar with AMPL (A Mathematical Programming Language) and need to convert your code to CPLEX, you're in the right ...

2:22
Converting AMPL Models to CPLEX

1 view

6 months ago

The Julia Programming Language
QUBO.jl | Maciel Xavier | JuliaCon Global 2025

QUBO.jl by Pedro Maciel Xavier PreTalx: https://pretalx.com/juliacon-2025/talk/BY7RM7/ Quantum algorithms and devices are ...

14:43
QUBO.jl | Maciel Xavier | JuliaCon Global 2025

307 views

3 months ago

HYPOTHALAMUS Ai
HAI - GAMS  - Mathematical Models as a Service

It is designed for modeling and solving mathematical programing optimization problems. GAMS is tailored for complex, ...

22:00
HAI - GAMS - Mathematical Models as a Service

45 views

6 months ago