Neuro Symbolic Courses

Introduction to Symbol Grounding

Explore the symbol grounding problem, its philosophical roots, and major approaches including representationalist, semi-representationalist, and non-representationalist solutions.

• YouTube
• 1 hour 13 minutes
• Self-Paced
• Free Video

Learning with Logical Constraints: Methods and Applications

Explore multiple methods for learning with logical constraints, including LTN, SPL, NASR, and STLNet. Gain insights into cutting-edge AI techniques combining symbolic methods and deep learning.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Learning and Reasoning in Neurosymbolic AI

Explore neurosymbolic AI's learning and reasoning capabilities through Luis Lamb's comprehensive talk at the Argentine Symposium on Artificial Intelligence.

• YouTube
• 51 minutes
• Self-Paced
• Free Video

Introduction to Logic Programming and Open World Reasoning

Explore logic programming and open world reasoning concepts, including fixpoint operators, negation, and consistency, using a simple propositional logic framework.

• YouTube
• 57 minutes
• Self-Paced
• Free Video

Introduction to Language Models - LLMs, Prompt Engineering, and Architectures

Explore language models, covering generative AI, LLMs, encoders, prompt engineering, and transformer architecture. Gain insights into embeddings, attention mechanisms, and model limitations.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

Neural Networks, Temporal Logic, and Verification with STL Net - Part 2

Explore STL Net for specification checking of RNN and transformer outputs. Learn about architecture, loss functions, and practical applications in neural networks and temporal logic.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Deep Ontological Networks: Reasoning Process - Part 2

Explore deep ontological networks and reasoning processes with Professor Gerardo Simari. Dive into Datalog ontologies, RRN models, and GRUs for advanced AI understanding.

• YouTube
• 34 minutes
• Self-Paced
• Free Video

Deep Ontological Networks: Introduction - Part 1

Explore Deep Ontological Networks with Prof. Simari, covering framework introduction, Semantic Web concepts, and ontology applications in AI and machine learning.

• YouTube
• 23 minutes
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video