ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

25,256 results

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

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

9 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,839 views

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

582 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

376 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

9 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

957 views

8 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

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

348,601 views

9 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

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

Zherui Yang
MM-Agent: LLM as Agents for Real-world Mathematical Modeling Competition Problem

MM-Agent: LLM-Based Agent for Real-World Mathematical Modeling We present MM-Agent, a powerful multi-agent system built ...

3:00
MM-Agent: LLM as Agents for Real-world Mathematical Modeling Competition Problem

61 views

9 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

375 views

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

25:27
HAI - GAMS - Mathematical Models as a Service

27 views

9 months ago

Hrant Khachatrian
Zero to Hero @ YSU: #2

Numpy, Matplotlib, some preparations.

2:01:36
Zero to Hero @ YSU: #2

225 views

6 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

50 views

2 weeks ago

Wolfram U
Computational Social Science with Wolfram Language

This webinar showcases Wolfram Language as a unified solution for social science research and teaching. Find out how you can ...

1:02:28
Computational Social Science with Wolfram Language

138 views

Streamed 3 days ago

Alexander Jung
Stop Calling Clustering a Model

Many people think of clustering as a form of modeling—but that's a misconception. In this video, we unpack why clustering ...

0:56
Stop Calling Clustering a Model

95 views

11 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

12 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

232 views

9 months ago