ViewTube

How can Machine Learning Help Formal Proving ? (Video, CPP 2026) Amaury Hayat (Ecole nationale des Ponts et Chaussées) ...

Formalizing a First-order Differentiable Logic with MathComp (Video, RocqPL 2026) Jairo Miguel Marulanda-Giraldo (University ...

Sebastian Raschka joins the MAD Podcast for a deep, educational tour of what actually changed in LLMs in 2025 — and what ...

This talk was recorded at NDC AI in Oslo, Norway. #ndcai #ndcconferences #developer #softwaredeveloper Attend the next NDC ...

Enroll to Practical Effect here: https://lucasbarake.com/ 00:00 Introduction & Prerequisites 00:13 Why We Need Actors 00:34 The ...

A Welcome to Causal Probabilistic Programming (Video, LAFI 2026) Dario Stein (unaffiliated) Abstract: Probabilistic Programming ...

This is a video about Multimodal Vision Language Models, in which we take a simple text-only language model (LLM) and give it ...

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and ...

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs (Video, Dafny 2026) Valentina Wu, Alexandra ...

AI Just Solved the Putnam… All of It. 🤯 What happens when a general coding agent stops being just a coder… and starts ...

Conference website: https://leanprover-community.github.io/lt2026/ Full schedule: ...

Choosing an AI model doesn't require a PhD—it's a product decision, and this video gives you a practical four-question checklist ...

Language-Model Probabilistic Programming for Improving Autoformalization via Cycle Consistency and Incremental ...

From FerriteCon 2025, the Ferrite.jl user & developer conference held on August 28, 2025 at the Technical University of Denmark ...

NVIDIA Earth-2 is a revolutionary planetary digital twin platform that uses Generative AI and accelerated computing to predict ...

Corporate AGI/ASI R&D 20260126 https://github.com/corporatestereotype-dev/AutopoieticAI.

Artificial Intelligence isn't magic—it's math. In this video, we break down the mathematical pillars of artificial intelligence that power ...

The Relative Monadic Metalanguage (Video, POPL 2026) Jack Liell-Cock, Zev Shirazi, Sam Staton (University of Oxford, UK; ...

Control systems is a mature field with diverse and numerous applications, but it's primarily based on explicit system models.

ChatGPT doesn't “rethink” your entire conversation every time you press enter, and that's why it feels instant. In this video, we ...