ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

22,647 results

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

235 views

6 months ago

Ritwik Raha
Are Language Models lying to us?

Welcome back to another Paper Explanation video on: https://arxiv.org/abs/2504.07096 Try out OLMoTrace here: ...

7:35
Are Language Models lying to us?

190 views

8 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

617 views

6 months ago

vlogize
Solving Linear Constraints in AMPL: A Guide to Fleet Average Efficiency

... When tackling the intricacies of mathematical programming, especially in AMPL (A Modeling Language for Math Programming), ...

1:35
Solving Linear Constraints in AMPL: A Guide to Fleet Average Efficiency

8 views

9 months ago

Subject to
Subject to: Susanne Heipcke

Susanne enjoys teaching mathematical optimization, having participated in teaching the mathematical modelling course in the OR ...

1:08:02
Subject to: Susanne Heipcke

204 views

2 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

232 views

3 months ago

Neural Breakdown with AVB
How to train Vision Language Models (VLM) from scratch using Text-Only LLMs

This is a video about Multimodal Vision Language Models, in which we take a simple text-only language model (LLM) and give it ...

30:04
How to train Vision Language Models (VLM) from scratch using Text-Only LLMs

1,300 views

21 hours ago

Constraint Programming
Louv31x 2022 s10 ss07 v01 Discrete Optimisation Modelling in MiniZinc

Are you ready to take your constraint programming skills to new heights? Look no further! In our upcoming videos, you'll have the ...

5:46
Louv31x 2022 s10 ss07 v01 Discrete Optimisation Modelling in MiniZinc

14 views

11 days ago

HYPOTHALAMUS Ai
HAI - GAMS  - Mathematical Models as a Service

HAI stores all its models using OPTEX, Optimization Expert System, for the development of multi-problem mathematical models, ...

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

33 views

4 months ago

The MAD Podcast with Matt Turck and Sebastian Raschka
State of LLMs 2026: RLVR, GRPO, Inference Scaling — Sebastian Raschka

Sebastian Raschka joins the MAD Podcast for a deep, educational tour of what actually changed in LLMs in 2025 — and what ...

1:08:21
State of LLMs 2026: RLVR, GRPO, Inference Scaling — Sebastian Raschka

3,027 views

2 days ago

Classiq Technologies
Classiq Platform Walkthrough: Scalable Quantum Software Development from Modeling to Execution

Discover how the Classiq Platform enables scalable, hardware-agnostic quantum application development. In this walkthrough ...

4:41
Classiq Platform Walkthrough: Scalable Quantum Software Development from Modeling to Execution

387 views

5 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

130 views

7 months ago

Association for Constraint Programming
Ner4Opt: named entity recognition for optimization modelling from natural language

Serdar Kadıoğlu, Parag Pravin Dakle, Karthik Uppuluri, Regina Politi, Preethi Raghavan, SaiKrishna Rallabandi & Ravisutha ...

5:02
Ner4Opt: named entity recognition for optimization modelling from natural language

146 views

10 months ago

Cardanit
Heatmaps for process simulation in Cardanit: visualize performance bottlenecks | Tutorial (SUB)

Learn how to use heatmaps for process simulation in Cardanit to visually analyze your BPMN models. This tutorial demonstrates ...

1:34
Heatmaps for process simulation in Cardanit: visualize performance bottlenecks | Tutorial (SUB)

52 views

10 months ago

HYPOTHALAMUS Ai
HAI - Mathematical Programming the way toArtificial General Intelligence

High-Complexity Mathematical Modeling in the Industry 4.0 Era. Mathematical Programming the way to Artificial General ...

17:29
HAI - Mathematical Programming the way toArtificial General Intelligence

40 views

5 months ago

HYPOTHALAMUS Ai
HAI - TSO - Mathematical Programming in Aviation Industry

Hypothalamus Artificial Intelligence Inc. and GAMS, General Algebraic Modeling Systems Inc.) Present Mathematical ...

24:50
HAI - TSO - Mathematical Programming in Aviation Industry

11 views

6 months ago

Simple Things - Surprising Histories
How AI Really Works (No Math, Just Logic)

Artificial Intelligence is often misunderstood as magic or pure consciousness. In this video, we explain how AI really works by ...

6:24
How AI Really Works (No Math, Just Logic)

125,347 views

2 weeks ago

Neural Breakdown with AVB
Fine tuning language models to THINK with Reinforcement Learning (GRPO!)

In this hands-on tutorial video, I am explaining Reasoning LLMs and SLMs and writing the Group Relative Policy Optimization ...

51:06
Fine tuning language models to THINK with Reinforcement Learning (GRPO!)

22,215 views

7 months ago

Prof. 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,032 views

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

18 views

6 months ago