ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

180,276 results

GOTO Conferences
Inside GPT – The Maths Behind the Magic • Alan Smith • GOTO 2024

This presentation was recorded at GOTO Copenhagen 2024. #GOTOcon #GOTOcph https://gotocph.com Alan Smith - AI ...

41:21
Inside GPT – The Maths Behind the Magic • Alan Smith • GOTO 2024

2,399 views

11 months ago

Harvard CMSA
Christian Szegedy | Language modeling for Mathematical Reasoning

1/20/2021 New Technologies in Math Seminar Speaker: Christian Szegedy, Google Research Title: Language modeling for ...

51:24
Christian Szegedy | Language modeling for Mathematical Reasoning

1,182 views

5 years 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

171,790 views

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

509 views

11 months ago

Turing
Mathematics of LLMs in Everyday Language

Explore science like never before - accessible, thrilling, and packed with awe-inspiring moments. Fuel your curiosity with 100s of ...

1:06:17
Mathematics of LLMs in Everyday Language

198,516 views

11 months ago

Gamma-Opt
MS-E2121 - Linear Optimization - Lecture 1.2

Mathematical programming and optimisation - Types of mathematical optimisation models Linear programming applications ...

40:31
MS-E2121 - Linear Optimization - Lecture 1.2

441 views

5 years 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

115,024 views

4 months ago

Daryl Ono
Mathematical Programming - Introduction & Demonstration

This is an introduction to mathematical programming that includes a demonstration using the Solver function in MS Excel.

59:36
Mathematical Programming - Introduction & Demonstration

353 views

4 years ago

Alberto Costa
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

First part of the online course: Optimization Modelling - Basics of Mathematical Programming in AMPL This course teaches the ...

58:41
Optimization Modelling - Basics of Mathematical Programming in AMPL 2/3

89 views

1 year ago

The Organic Chemistry Tutor
Linear Programming

It explains how to write the objective function and constraints of linear programming word problems. It discusses how to find all of ...

33:20
Linear Programming

1,545,284 views

8 years ago

AMPL Optimization
Modeling, not Programming

AMPL Resources: The AMPL Book is available free at https://ampl.com/resources/the-ampl-book/ Get a full trial of AMPL and ...

30:10
Modeling, not Programming

1,217 views

5 years ago

Mr. P Solver
1st Year Calculus, But in PYTHON

Most of the techniques you've learned in first year calculus can be done in python using SYMPY. It's a good idea to learn this ...

32:13
1st Year Calculus, But in PYTHON

158,537 views

5 years ago

IMUS - Instituto Matemáticas Universidad de Sevilla
Juan Pablo Vielma: "Modeling and duality in domain specific languages for mathematical optimization"

Juan Pablo Vielma, Sloan School of Management, United States. Abstract: Domain specific languages (DSL) for mathematical ...

53:01
Juan Pablo Vielma: "Modeling and duality in domain specific languages for mathematical optimization"

149 views

4 years ago

Larry Snyder
AMPL Tutorial

A tutorial on the algebraic modeling language AMPL, which is used for mathematical optimization. The tutorial assumes you have ...

53:56
AMPL Tutorial

42,753 views

6 years ago

ProNerd
DSUU Tutorial 4 Mathematical Programming Language MPL

Tutorial 4 of the course Decision Support under Uncertainty by Prof. Achim Koberstein and Pavlo Glushko from the European ...

2:07:27
DSUU Tutorial 4 Mathematical Programming Language MPL

518 views

5 years ago

Thomas Kern
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

Play along at home: https://trkern.itch.io/rosenstein Version with just finite linear orderings (and AI opponent): ...

22:56
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

17,601 views

3 years ago

APMonitor.com
Nonlinear Optimization Modeling using JuMP and JuliaOpt

The JuliaOpt organization hosts open-source optimization software in the Julia programming language. JuliaOpt boasts a growing ...

54:49
Nonlinear Optimization Modeling using JuMP and JuliaOpt

5,011 views

10 years ago

CAPRI Model
Calibration of the Supply module. Positive Mathematical Programming.

This is a part of the CAPRI training session 2021. The complete agenda and course materials can be found here: ...

32:06
Calibration of the Supply module. Positive Mathematical Programming.

493 views

4 years ago

Dr. Maths
Lecture 1: Basics of Mathematical Modeling

In this video. let us understand the terminology and basic concepts of Mathematical Modeling. Link for the complete playlist.

25:44
Lecture 1: Basics of Mathematical Modeling

273,802 views

5 years ago

Gurobi
Build optimization models and turn them into full featured applications with Gurobi and Anaconda

Developers of optimization and prescriptive analytics models often feel that they need to choose between the ease of a modeling ...

53:17
Build optimization models and turn them into full featured applications with Gurobi and Anaconda

19,685 views

10 years ago