ViewTube

Solving Linear Programming models using Scipy (basic tutorial)

Gradient descent is behind the training of countless machine-learning models, but the underlying idea is surprisingly intuitive.

Ever noticed what happens when you give a frontier reasoning model a dead-simple task? Instead of writing one line of code in ...

Full course series Part 1: https://www.youtube.com/watch?v=ZG83s52XI1Y Part 2: ...

In this video we step away from pure algebra for the first time in the series and meet a tool that shows up everywhere in ZK ...

Type theory Type theory is both a foundation of mathematics and an expressive functional programming language, and the basis ...

References Noukhovitch, Michael et al. 2026. Learning to Solve Hard Problems in RL for LLMs by Never Giving Up.

Frank Hutter, co-founder of Prior Labs, talks about TabPFN, a tabular foundation model that makes predictions in a single forward ...

... crossing three different programming languages and they basically had to break a law of mathematics that the algorithm thought ...

This is my talk at the Vavilov Memorial 2026, on September 19, 2026. A talk on AI-assisted mathematics: theorem proving and ...

00:00 Forecasting workflow from raw series to experiment 00:38 Why preprocessing and models must be tuned together 01:20 ...

Elements of Logic Programming in a Concatenative Functional Language (Video, LOPSTR+PPDP 2026) Attila Egri-Nagy (Akita ...

Standard language models operate as probabilistic pattern matchers, which causes them to struggle with deterministic logic ...

Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus (Video, ICFP ...