Neuro Symbolic Courses

Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 3

Explore spatio-temporal perception logic for verifying perceptual systems in autonomous vehicles, building on previous parts of the series.

• YouTube
• 15 minutes
• On-Demand
• Free Video

Metacognition with EDCR: Error Detection and Correction in Neurosymbolic AI

Explore metacognition and EDCR, a neurosymbolic method for error detection in AI models. Learn about rule learning, intuitions, and applications in few-shot learning.

• YouTube
• 12 minutes
• On-Demand
• Free Video

Diversity Measures: Domain-Independent Proxies for Failure in Language Model Queries

Explore domain-independent diversity measures to detect uncertainty in language model outputs, enhancing error detection and improving AI reliability.

• YouTube
• 12 minutes
• On-Demand
• Free Video

Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 2

Explore spatio-temporal perception logic for verifying perceptual systems in autonomous vehicles, building on Part 1's foundations.

• YouTube
• 15 minutes
• On-Demand
• Free Video

Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1

Explore spatio-temporal perception logic for verifying perceptual systems in autonomous vehicles and other safety-critical applications.

• YouTube
• 13 minutes
• On-Demand
• Free Video

SLASH Framework: Experiments - Part 3

Explore experiments in the SLASH framework for neuro-symbolic AI. Gain insights into cutting-edge research combining symbolic methods and deep learning.

• YouTube
• 20 minutes
• On-Demand
• Free Video

SLASH: Probabilistic Circuits - Part 1

Explore probabilistic circuits in the SLASH framework. Learn their importance and applications in neuro-symbolic AI and machine learning.

• YouTube
• 13 minutes
• On-Demand
• Free Video

Itemset Mining and the A Priori Algorithm

Explore the A Priori algorithm for efficient itemset mining, a crucial technique in data analysis and association rule learning.

• YouTube
• 12 minutes
• On-Demand
• Free Video

CLEVRER: Reasoning About Events in Video - Part 3

Explore CLEVRER dataset for video prediction and reasoning tasks, covering dataset creation and baseline approach for AI and machine learning advancements.

• YouTube
• 12 minutes
• On-Demand
• Free Video

CLEVRER: Reasoning About Events in Video - Part 2

Explore CLEVRER dataset for video prediction and reasoning tasks, covering dataset details and baseline approach for advanced AI understanding.

• YouTube
• 12 minutes
• On-Demand
• Free Video

CLEVRER: Reasoning About Events in Video - Part 1

Explore CLEVRER dataset for video prediction and reasoning tasks, covering dataset creation and baseline approach for AI and machine learning advancements.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ChatGPT Math Problem Challenge - Predicting Performance on Mathematical Word Problems

Explore ChatGPT's performance on math word problems and learn how to predict its failures. Join the AI/ML community challenge to forecast ChatGPT's problem-solving abilities.

• YouTube
• 17 minutes
• On-Demand
• Free Video

Deep Symbolic Regression - Petersen et al.'s 2021 ICLR Paper

Explore deep symbolic regression through Petersen et al.'s 2021 ICLR paper, covering innovative techniques at the intersection of symbolic methods and deep learning.

• YouTube
• 13 minutes
• On-Demand
• Free Video

PyReason: A Framework for Deductive Reasoning in Python

Explore PyReason, a Python framework for deductive reasoning using time-series annotated logic. Learn about fuzzy and open-world reasoning capabilities through an in-depth technical talk.

• YouTube
• 18 minutes
• On-Demand
• Free Video

Inference in Propositional Logic: From Basics to Lattice Theory Applications

Explore propositional logic inference, including lattice theory and fixpoint operators for entailment queries. Gain insights into logic programming and knowledge reasoning fundamentals.

• YouTube
• 19 minutes
• On-Demand
• Free Video