Neurosymbolic Programming for Science Courses

Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

Explore neural language models for mathematical reasoning, bridging informal and formal approaches through NaturalProver and Draft, Sketch, and Prove techniques.

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

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

Probabilistic Programming Tutorial - Part 2

Explore advanced concepts in probabilistic programming, focusing on practical applications and techniques for scientific computing and data analysis.

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

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

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

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

Tutorial on Deductive Program Synthesis - Part 2: Hands-on Derivation and Advanced Techniques

Learn deductive program synthesis through hands-on examples, exploring SSL rules, recursion handling, and step-by-step derivation of provably correct pointer-manipulating programs.

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

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

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 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

Competitive Programming with AlphaCode - DeepMind's AI System for Code Generation

Explore AlphaCode's groundbreaking AI system for competitive programming, learning its architecture, training, and evaluation on Codeforces platform to enhance problem-solving skills.

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

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

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

Learning to Automatically Fix Compiler Errors in C - Workshop 3

Explore neural approaches to automatically repair compiler errors in C programs, including pre-trained and fine-tuned models for practical error-fixing experience.

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

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