ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

119 results

Harvard CMSA
Adam Zsolt Wagner | Machine learning tools for mathematical discovery

New Technologies in Mathematics Seminar 12/3/2025 Speaker: Adam Zsolt Wagner, Google DeepMind Title: Machine learning ...

59:43
Adam Zsolt Wagner | Machine learning tools for mathematical discovery

301 views

7 days ago

Wolfram
PDE Workflows in Mathematica That Scale with Your Team

The talk offers a PDE modeling pattern that can cut development time and lower onboarding costs for engineering and research ...

25:09
PDE Workflows in Mathematica That Scale with Your Team

100 views

7 days ago

Harvard CMSA
George Tsoukalas | Automated Theory Formation and Interestingness in Mathematics

New Technologies in Mathematics Seminar 2/5/2026 Speaker: George Tsoukalas, UT Austin Dept. of Computer Science and ...

1:06:34
George Tsoukalas | Automated Theory Formation and Interestingness in Mathematics

172 views

5 days ago

ACM AUB
Beyond RL and GNNs Rethinking Discrete Optimization
52:31
Beyond RL and GNNs Rethinking Discrete Optimization

0 views

5 days ago

NVIDIA Developer
Inference Office Hours with SGLang: Performance Optimizations for LLM Serving

Join us to find out the latest inference optimizations for leading open source models from SGLang on NVIDIA GPUs. We'll dive into ...

41:10
Inference Office Hours with SGLang: Performance Optimizations for LLM Serving

998 views

Streamed 4 days ago

BEZNext
Webinar: Agentic AI Cost Optimization and Performance Control

Experimentation with agentic AI is over, and the rush into it has begun, but very few organizations truly understand its cost, ...

27:08
Webinar: Agentic AI Cost Optimization and Performance Control

25 views

7 days ago

Scheduling seminar
[Scheduling Seminar] Petr Vilim (OptalCP) and Vilem Heinz (CTU in Prague)  OptalCP

Keywords: Constraint Programming, Reinforcement Learning, Failure-Directed Search, Large Neighborhood Search, Propagation ...

1:02:32
[Scheduling Seminar] Petr Vilim (OptalCP) and Vilem Heinz (CTU in Prague) OptalCP

193 views

Streamed 6 days ago

Sunny Savita
LLM Fine-Tuning 22: Fine-Tune Any SLM (Small Language Model) | Crash Course with Practical(Unsloth)

Finetune Any SLM (Small Language Model) | End-to-End Crash Course with Real Project In this video, we go step-by-step into ...

53:29
LLM Fine-Tuning 22: Fine-Tune Any SLM (Small Language Model) | Crash Course with Practical(Unsloth)

578 views

1 day ago

EDGE AI FOUNDATION
EDGE AI Talks: Compiler 4.0: Agentic ML Compilers for the Edge

Early compilers translated human-written assembly into machine code (Compiler 1.0). Optimizing compilers such as GCC and ...

1:00:22
EDGE AI Talks: Compiler 4.0: Agentic ML Compilers for the Edge

287 views

Streamed 7 days ago

AI Depth School
Parameter Efficient Fine Tuning PEFT   A Complete Guide to LoRA, QLoRA, Adapters, and Beyond

Master Parameter-Efficient Fine-Tuning (PEFT) in this comprehensive deep dive! Learn how to adapt massive foundation models ...

20:37
Parameter Efficient Fine Tuning PEFT A Complete Guide to LoRA, QLoRA, Adapters, and Beyond

62 views

5 days ago

Statistics Ninja
Markov Chains in R Explained: Transition Matrices & the `markovchain` Class

Transition Matrices & the `markovchain` Class in R | Markov Chains Tutorial** In this video, Aaron Smith walks through the ...

25:38
Markov Chains in R Explained: Transition Matrices & the `markovchain` Class

21 views

5 days ago

Lukasz Gawenda
I Benchmarked vLLM vs SGLang So You Don't Have To Shocking Results!

Discover which LLM inference engine truly delivers the best performance! In this comprehensive benchmark, I put vLLM and ...

23:44
I Benchmarked vLLM vs SGLang So You Don't Have To Shocking Results!

158 views

7 days ago

Ben Langmead
Sequence modeling: Applying HMMs to CpG island finding

We propose two different HMMs that could be used to solve the CpG island finding problem. We diagnose a problem with the first ...

27:43
Sequence modeling: Applying HMMs to CpG island finding

77 views

23 hours ago

Empowering the Force | ML by Mark Tschopp
May The Course Be With You! ML101, Episode3a | Neural network introduction,

May The Course Be With You! I'm Mark Tschopp, and in the first part of this Neural Network Basics series, I explain why there is a ...

40:13
May The Course Be With You! ML101, Episode3a | Neural network introduction,

8 views

3 days ago

IIT Roorkee July 2018
Lecture 1: Foundations of Lambda Calculus

In this lecture, we study the core motivations behind Lambda Calculus, Church vs Turing: Model of Computation, the notations of ...

28:48
Lecture 1: Foundations of Lambda Calculus

46 views

7 days ago

Pals pgm
PALS Industry Assisted Lecture Series Systems for LLMs – Session 1 | Basics & Advanced PyTorch

The PALS Industry Assisted Lecture Series on Systems for Large Language Models (LLMs), conducted in collaboration with IBM ...

2:01:56
PALS Industry Assisted Lecture Series Systems for LLMs – Session 1 | Basics & Advanced PyTorch

3,077 views

Streamed 7 days ago

USC CAMS Colloquium
Harold Williams (USC): An Introduction to Automated Theorem Proving in Lean

In this talk we will give an introduction to Lean, a programming language adapted to the formal verification of mathematical proofs.

1:11:37
Harold Williams (USC): An Introduction to Automated Theorem Proving in Lean

9 views

4 days ago

Ricardo Calix
Fine Tune a GPT with RLHF using a BERT scorer and TRL from Hugging Face (part 2)

Fine Tune a GPT with RLHF using a BERT scorer and TRL from Hugging Face (part 2) Instructor: Ricardo A. Calix, Ph.D. My ...

50:35
Fine Tune a GPT with RLHF using a BERT scorer and TRL from Hugging Face (part 2)

12 views

5 days ago

HYPOTHALAMUS Ai
HAI - Human Brain Modeling

The knowledge of tomorrow is just a click away, dare to immerse yourself in the mathematical modelling of the present, ...

26:05
HAI - Human Brain Modeling

20 views

4 days ago

EDGE AI FOUNDATION
EDGE AI Talks: Compiler 4.0: Agentic ML Compilers for the Edge 📱

Early compilers translated human-written assembly into machine code (Compiler 1.0). Optimizing compilers such as GCC and ...

1:00:21
EDGE AI Talks: Compiler 4.0: Agentic ML Compilers for the Edge 📱

77 views

Streamed 7 days ago