Explore the third installment of a series on spatio-temporal perception logic, focusing on its application in verifying perceptual systems for autonomous vehicles. Delve into the intricacies of this advanced topic, drawing insights from the research paper available at https://arxiv.org/abs/2206.14372. Gain valuable knowledge on the intersection of symbolic methods and deep learning, as presented by the Neuro Symbolic Channel. Discover cutting-edge algorithms, Python packages, and progress towards artificial general intelligence (AGI) in this 15-minute video, originally derived from the AI course at Arizona State University.
Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 3
Overview
Syllabus
(Pt 3) Spatio-Temporal Perception Logic
Taught by
Neuro Symbolic
Related Courses
-
Spatio-Temporal Perception Logic for Perceptual Systems Verification - Part 2
-
Spatio-Temporal Perception Logic for Verification of Perceptual Systems - Part 1
-
Differentiable Inductive Logic Programming - Part 6: Q&A
-
Reasoning Shortcuts in Neurosymbolic Systems
-
Training Logical Neural Networks via Primal-Dual Methods - Part 1
-
Learning Logical Relationships with Neural Networks - Part 3
