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
Neural Networks for Machine LearningUniversity of Toronto via Coursera 機器學習技法 (Machine Learning Techniques)
National Taiwan University via Coursera Machine Learning Capstone: An Intelligent Application with Deep Learning
University of Washington via Coursera Прикладные задачи анализа данных
Moscow Institute of Physics and Technology via Coursera Leading Ambitious Teaching and Learning
Microsoft via edX