Finding Software Bugs Using Active Automata Learning

PrimaVera colloquium by Prof. Dr. Frits Vaandrager (30.09.2020)

Deep Dive into LLMs like ChatGPT
▶︎

Deep Dive into LLMs like ChatGPT

Applying Causal Analytics for ASML Diagnostics: Results and Challenges
▶︎

Applying Causal Analytics for ASML Diagnostics: Results and Challenges

Full Archon Guide - Build AI Coding Harnesses That Actually Ship (LIVE)
▶︎

Full Archon Guide - Build AI Coding Harnesses That Actually Ship (LIVE)

System Design Course – APIs, Databases, Caching, CDNs, Load Balancing & Production Infra
▶︎

System Design Course – APIs, Databases, Caching, CDNs, Load Balancing & Production Infra

The World's Most Important Machine
▶︎

The World's Most Important Machine

AI Is Creating A Rare Opportunity For Investors. How Jim Roppel Is Playing It. | Investing With IBD
▶︎

AI Is Creating A Rare Opportunity For Investors. How Jim Roppel Is Playing It. | Investing With IBD

What rebuilding AlphaGo teaches us about self-play, RL, and future of LLMs - Eric Jang
▶︎

What rebuilding AlphaGo teaches us about self-play, RL, and future of LLMs - Eric Jang

Gil Strang's Final 18.06 Linear Algebra Lecture
▶︎

Gil Strang's Final 18.06 Linear Algebra Lecture

The Unity Tutorial For Complete Beginners
▶︎

The Unity Tutorial For Complete Beginners

Power Automate Beginner to Pro Tutorial [Full Course]
▶︎

Power Automate Beginner to Pro Tutorial [Full Course]

Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup
▶︎

Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup

RL for Agents Workshop - Deep Dive on Training Agents with RL and Open Source
▶︎

RL for Agents Workshop - Deep Dive on Training Agents with RL and Open Source

But what is quantum computing?  (Grover's Algorithm)
▶︎

But what is quantum computing? (Grover's Algorithm)

Maintenance Optimization for Multi-Component Systems with a Single Sensor
▶︎

Maintenance Optimization for Multi-Component Systems with a Single Sensor

The Uncomfortable Truth About AI “Reasoning” | World Science Festival
▶︎

The Uncomfortable Truth About AI “Reasoning” | World Science Festival

Your First 3D GAME From Zero in Godot 4  **Survivor Arena FPS**
▶︎

Your First 3D GAME From Zero in Godot 4 **Survivor Arena FPS**

How Dopamine & Serotonin Shape Decisions, Motivation & Learning | Dr. Read Montague
▶︎

How Dopamine & Serotonin Shape Decisions, Motivation & Learning | Dr. Read Montague

Learn RAG From Scratch – Python AI Tutorial from a LangChain Engineer
▶︎

Learn RAG From Scratch – Python AI Tutorial from a LangChain Engineer

System Design Explained: APIs, Databases, Caching, CDNs, Load Balancing & Production Infra
▶︎

System Design Explained: APIs, Databases, Caching, CDNs, Load Balancing & Production Infra

OpenClaw: The Viral AI Agent that Broke the Internet - Peter Steinberger | Lex Fridman Podcast #491
▶︎

OpenClaw: The Viral AI Agent that Broke the Internet - Peter Steinberger | Lex Fridman Podcast #491