ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

22,265 results

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?

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

129 views

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

217 views

5 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

553 views

5 months ago

Lambda World
LW 2025 - Total Functions for Automated Reasoning:Building Terminating Theorem Provers-Alex Gryzlov

While much of today's AI focuses on statistical methods, a well-established parallel exists in the form of symbolic, also known as ...

41:07
LW 2025 - Total Functions for Automated Reasoning:Building Terminating Theorem Provers-Alex Gryzlov

0 views

12 hours 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)

79,572 views

10 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

368 views

5 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

199 views

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

145 views

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

30 views

4 months ago

Hexaly
Hexaly: A New Kind of Global Optimization Solver, by Fred Gardi at EURO Practitioners’ Forum

Hexaly was glad to participate in the EURO Practitioners' Forum Webinar. Below is the abstract of Fred's talk at the EURO ...

56:41
Hexaly: A New Kind of Global Optimization Solver, by Fred Gardi at EURO Practitioners’ Forum

228 views

3 months ago

Neural Breakdown with AVB
How I finetuned a Small LM to THINK and solve puzzles on its own (GRPO & RL!)

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

51:06
How I finetuned a Small LM to THINK and solve puzzles on its own (GRPO & RL!)

21,848 views

6 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

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

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)

51 views

10 months ago

Yannic Kilcher
[GRPO Explained] DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

deepseek #llm #grpo GRPO is one of the core advancements used in Deepseek-R1, but was introduced already last year in this ...

1:09:00
[GRPO Explained] DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

166,760 views

11 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

217 views

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

177 views

7 months ago

CppCon
LLMs in the Trenches: Boosting C++ System Programming with AI - Ion Todirel - CppCon 2025

https://cppcon.org --- LLMs in the Trenches: Boosting C++ System Programming with AI - Ion Todirel - CppCon 2025 --- Large ...

1:01:08
LLMs in the Trenches: Boosting C++ System Programming with AI - Ion Todirel - CppCon 2025

2,101 views

2 days ago

IBM Technology
RAG vs Fine-Tuning vs Prompt Engineering: Optimizing AI Models

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

13:10
RAG vs Fine-Tuning vs Prompt Engineering: Optimizing AI Models

530,919 views

9 months ago

The Julia Programming Language
The State of InfiniteOpt.jl | Joshua Pulsipher | JuMP-dev 2025

InfiniteOpt.jl provides an algebraic modeling language for intuitively model and rapidly solve infinite-dimensional optimization ...

26:31
The State of InfiniteOpt.jl | Joshua Pulsipher | JuMP-dev 2025

250 views

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

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

320 views

5 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

273 views

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

39 views

5 months ago