ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More Bruno Blanchet (Inria Paris), Vincent Cheval (Inria Paris), Véronique Cortier (Université de Lorraine, CNRS, Inria)
▶︎
Four Attacks and a Proof for Telegram
▶︎
Oliver Pfäuti: "A Behavioral Heterogeneous Agent New Keynesian Model"
▶︎
Kurt Mitman: "The Fiscal Multiplier"
▶︎
Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026
▶︎
Something is jamming GPS over Europe. Here's what we found
▶︎
How To Think SO CLEARLY People Assume You're A Genius
▶︎
Anderson Localization and Beyond, by B. Altshuler - 1
▶︎
Inside the Mind of Anthropic CEO Dario Amodei | The Circuit | Extended Interview
▶︎
How to Introduce Yourself — and Get Hired | Rebecca Okamoto | TED
▶︎
Inside Anthropic, the $965 Billion AI Juggernaut | The Circuit
▶︎
Pierre Cartier. Schemes.
▶︎
Billionaire's WARNING: I'm SELLING. The Crash Is Already Here!
▶︎
Beyond the AI hype: Where we really stand and what awaits us
▶︎
But what is the Fourier Transform? A visual introduction.
▶︎
Andrej Karpathy: From Vibe Coding to Agentic Engineering w/ Stephanie Zhan
▶︎
Fields Medal: Hugo Duminil-Copin
▶︎
Contextual Bandit: from Theory to Applications. - Vernade - Workshop 3 - CEB T1 2019
▶︎
How to make a Video Game - Godot Beginner Tutorial
▶︎
A neuroscientist’s guide to protecting your brain, in 58 minutes | Lisa Genova: Full Interview
▶︎