ViewTube

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

LLMs and optimization are not the same thing (planning, scheduling, NP-hard search, and why ChatGPT-style models fail without ...

As large language models (LLMs) become increasingly capable, the optimization community is exploring how these tools may ...

Discover Leanstral 1.5, Mistral AI's latest open-source model built specifically for formal mathematics, theorem proving, and ...

6th International Conference of IT Professionals on Artificial Intelligence (ProfIT AI 2026) Topic: Multi-Level verification system of ...

Recording of a talk given at the Scientific Computing in Rust 2026 online workshop. oximo (https://github.com/oximo-rs/oximo) is a ...

This is an introductory session of a series of video tutorials on system modeling and Modelica language. We will cover the basic ...

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

Researchers have developed Thinking Mode Fusion (TMF), a novel approach that enables large language models to seamlessly ...

In this detailed lecture, you will learn about arithmetic operators in MATLAB and their importance in mathematical programming ...

Ready to become a certified watsonx AI Assistant Engineer? Register now and use code IBMTechYT20 for 20% off of your exam ...

Hypothalamus Artificial Intelligence, HAI, and Research Center for Advance Decision Technologies, R-CADT, presents the ...

A fast-paced look at the latest innovations across the AMPL ecosystem. See how AMPL continues to power large-scale ...

MCP Demo app - LLM (Gemini) calls the set of available functions and to perform mathematic calculation in iteration.

Leonardo de Moura is the creator of Lean and the Z3 theorem prover. I talked with him about how Lean works and why LLMs plus ...

Learn how to implement Rotary Position Embedding (RoPE) from scratch using OpenAI Triton. In this tutorial, we translate the ...

This MATLAB Simulink Tutorial is a highly integrated tutorial. Simulink, developed by MathWorks is a simulation and model-based ...

Learn how Ordinary Least Squares regression actually works rather than treating it as a black box. We'll build up the idea of linear ...

There is a surprising overlap between compression and LLMs: both are trying to predict stuff. In this video, we'll walk through the ...