ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

29,317 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,664 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

70 views

7 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

572 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

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

951 views

8 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

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,518 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

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,560 views

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

374 views

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

36 views

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

302 views

9 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

303 views

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

43 views

2 weeks ago

Microsoft Research
OptiMind: Teaching small language models to think like optimization experts

OptiMind is a specialized language model that translates natural-language problem descriptions directly into solver-ready ...

7:55
OptiMind: Teaching small language models to think like optimization experts

1,017 views

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

Doulton Wiltshire
Blending Problem in Linear Programming | Chandler Oil Walkthrough

Let's solve the age old question of how much crude oil 1 and crude oil 2 you need to make gas and heating oil, shall we? This is ...

24:12
Blending Problem in Linear Programming | Chandler Oil Walkthrough

413 views

5 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,269 views

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

435 views

6 months ago

GAMS Lessons
GAMSPy Tutorial Series Ep.2 - How to solve the Transport Problem

In this tutorial, we walk through how to solve the classic Transport Problem in GAMS, a foundational example in operations ...

17:17
GAMSPy Tutorial Series Ep.2 - How to solve the Transport Problem

839 views

8 months ago