SAT Net: Learning MAXSAT Constraints - Part 1
Offered By: Neuro Symbolic via YouTube
Course Description
Overview
Explore the groundbreaking SAT Net algorithm in this first installment of a three-part video series. Delve into the original research by Wang et al., as presented by Paulo Shakarian during an Arizona State University seminar on neurosymbolic reasoning. Learn about the innovative approach of combining symbolic methods with deep learning to solve MAXSAT constraints. Gain insights into this cutting-edge area of artificial intelligence that bridges logic programming and neural networks, paving the way for advancements in artificial general intelligence (AGI).
Syllabus
SAT Net Pt 1 of 3: Learning MAXSAT Constraints with SAT Net
Taught by
Neuro Symbolic
Related Courses
Introduction to Artificial IntelligenceStanford University via Udacity Natural Language Processing
Columbia University via Coursera Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent