Neuro Symbolic Courses

Uncertainty Quantification in Metacognition

Explore uncertainty quantification in metacognition and its applications in AI research, focusing on DARPA-funded efforts and advancements in neuro-symbolic approaches.

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

NeurASP: Experiments and Evaluation - Part 3

Explore experimental evaluations of NeurASP, a neuro-symbolic framework connecting ASP programs to neural architectures, enabling end-to-end training through gradient passage.

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

NeurASP: Introducing a Neuro-Symbolic Framework - Part 1

Explore NeurASP, a neuro-symbolic framework connecting ASP programs to neural architectures. Learn about end-to-end training and gradient propagation through ASP programs to neural layers.

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

NeuPSL - Experiments and Results - Part 3

Explore experimental results of NeuPSL, a neurosymbolic framework combining probabilistic soft logic with deep learning for end-to-end training and logical constraint enforcement.

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

Training LNNs via Primal Dual Methods - Part 2 of 3

Explore primal-dual methods for training Logical Neural Networks in neuro-symbolic reasoning, continuing the analysis of Lu et al.'s 2021 IBM research paper.

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

SAT Net: Learning MAXSAT Constraints - Part 1

Explore SAT Net's original work for learning MAXSAT constraints, presented by Paulo Shakarian in an ASU seminar on neurosymbolic reasoning.

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

Metacognitive AI: Recovering Constraints by Finding ML Errors

Explore metacognitive AI techniques for detecting and correcting ML model errors, focusing on constraint recovery in multi-class settings using neurosymbolic methods.

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

Constraint Satisfaction Problem Variants in AI - Part 2

Explore constraint satisfaction problem variants, formulation techniques, solving methods, consistency algorithms, and domain splitting in AI.

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

Decision Trees in Neuro-Symbolic AI

Master decision tree algorithms for effective data classification and prediction in machine learning applications.

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

A* Search Algorithm: Introduction, Example, and Summary

Learn A* search algorithm: its principles, implementation, and applications in pathfinding and problem-solving. Explore this efficient heuristic search technique.

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

Introduction to ML Ops and Continuous Delivery for Machine Learning

Explore ML operations and the Continuous Delivery for Machine Learning Model in this concise introduction to MLOps.

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

Google vs. Hallucinations in AI Overviews

Explore Google's challenges with LLM-based "AI Overviews" and the ongoing issue of hallucinations in AI products. Gain insights into the latest developments in neuro-symbolic AI and its potential impact on AGI.

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

Reinforcement Learning with PyReason as a Semantic Proxy

Explore PyReason as a semantic proxy for simulators in reinforcement learning, featuring a technical discussion on its application and recent research findings.

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

Generative vs. Discriminative AI - A Comparative Analysis

Explore the key distinctions between generative and discriminative AI approaches, understanding their unique characteristics and applications.

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

LangDiversity: Software to Identify LLM Errors - Diversity Measures and Prompt Selection

Explore LangDiversity software to identify LLM errors using diversity measures. Learn implementation, code examples, and prompt selection techniques for improving language model outputs.

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