Neurosymbolic Programming Courses and Certifications

ACM SIGPLAN

Scallop: A Language for Neurosymbolic Programming

Explore Scallop, a language combining deep learning and logical reasoning for efficient neurosymbolic programming. Learn its key features and applications in diverse AI tasks.

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

INSAIT Institute

Neurosymbolic Programming - An Emerging Subarea of AI

Explore neurosymbolic programming's fusion of deep learning and program synthesis, discovering how it enhances AI robustness, interpretability, and efficiency through symbolic and neural approaches.

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

Neurosymbolic Programming for Science

AI for Code and Science - A Neurosymbolic Programming Approach

Explore neurosymbolic programming for science applications, blending neural networks and program synthesis in chemistry, physics, code repair, and neuroscience.

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

Neurosymbolic Programming for Science

Neurosymbolic Program Architecture Search Methods - Session 3

Explore advanced program architecture search methods, including NEAR and DreamCoder, and their applications in neurosymbolic learning for behavioral neuroscience.

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

Neurosymbolic Programming for Science

Neurosymbolic Program Architecture Search - Methods and Exercises

Explore automated program architecture search methods, including enumerative search and RobustFill, with hands-on exercises and a survey of additional techniques.

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

Neurosymbolic Programming for Science

Model-Based Reasoning in Neurosymbolic Programming for Science

Explore model-based reasoning techniques and their applications in neurosymbolic programming for scientific problem-solving.

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

Neurosymbolic Programming for Science

Better Learning Through Programming Languages: Neurosymbolic Synthesis and Learning

Explore program synthesis evolution as a learning tool, from early data-driven models to modern neurosymbolic algorithms.

• YouTube
• 1 hour 13 minutes
• On-Demand
• Free Video

Simons Institute

Scallop: A Language for Neurosymbolic Programming

Explore Scallop, a programming language for neurosymbolic learning that combines classical algorithms and deep learning, offering efficient solutions for complex machine learning challenges.

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

Neurosymbolic Programming for Science

Probabilistic Programming Tutorial - Part 1

Explore probabilistic programming fundamentals and applications with MIT expert Vikash Mansinghka in this comprehensive tutorial.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Free Video

Neurosymbolic Programming for Science

Generating Code That Activates Our Brains

Explore brain responses to code comprehension and learn to modify programs for enhanced neural activation using backpropagation and Gumbel softmax.

• YouTube
• 2 hours 13 minutes
• On-Demand
• Free Video

Neurosymbolic Programming for Science

Data-Efficient Graph Grammar Learning for Molecular Generation

Explore data-efficient neurosymbolic generative models for molecular generation using learnable graph grammars, optimized for small datasets and physically synthesizable molecules.

• YouTube
• 1 hour 8 minutes
• On-Demand
• Free Video

Neurosymbolic Programming for Science

AI for Scientists: Accelerating Discovery through Knowledge, Data and Learning

Explore AI-driven scientific discovery, integrating machine learning with expert knowledge to automate data analysis and accelerate research across diverse domains.

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

Neurosymbolic Programming for Science

Moving Beyond the First Portrait of Our Milky Way's Black Hole by Leveraging Underlying Structure

Explore computational imaging techniques used to capture black hole images and leverage data structure to extract evolving details of the Milky Way's supermassive black hole.

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

Neurosymbolic Programming for Science

Understanding the Visual World Through Naturally Supervised Code

Explore symbolic structure inference from visual data using neuro-symbolic methods. Learn to leverage natural supervision for discovering repetitive patterns, object intrinsics, and grounded visual concepts.

• YouTube
• 1 hour 13 minutes
• On-Demand
• Free Video

Neurosymbolic Programming for Science

Programming with Neural Surrogates of Programs

Explore neural surrogates for program optimization, including case studies on CPU simulators and techniques like the Renamer and Turaco for constructing efficient program surrogates.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video