Neurosymbolic Programming for Science Courses

Bridging Informal and Formal Mathematical Reasoning with Neural Language Models

Exploración de modelos de lenguaje neuronal para razonamiento matemático, desde pruebas en lenguaje natural hasta sketches formales que guían demostradores automatizados.

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

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

Frameworks científicos que integran aprendizaje automático y casos de uso del mundo real para permitir la interpretación escalable de datos y acelerar el progreso científico.

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

Probabilistic Programming Tutorial - Part 2

Aprenda programação probabilística avançada e suas aplicações em ciência e engenharia com o especialista Vikash Mansinghka do MIT.

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

Probabilistic Programming Tutorial - Part 1

Aprenda os fundamentos da programação probabilística e suas aplicações em ciência e engenharia neste tutorial ministrado por Vikash Mansinghka do MIT.

• 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

Computational imaging techniques for black hole visualization, leveraging data structure to improve image recovery and extract evolving structures of the Milky Way's black hole.

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

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

Introducción práctica a la síntesis deductiva de programas, explorando reglas y ejemplos como intercambio, cuentas bancarias y aplanamiento de árboles. Enfoque en derivación paso a paso y manejo de recursión.

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

Neurosymbolic Program Architecture Search Methods - Session 3

Explora métodos avanzados de búsqueda de arquitectura de programas, incluyendo heurísticas neuronales admisibles y aprendizaje de bibliotecas, con aplicaciones en neurociencia conductual.

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

Understanding the Visual World Through Naturally Supervised Code

Exploración de métodos neurosimbólicos para inferir estructura simbólica de datos visuales sin supervisión, combinando programas simbólicos y redes neuronales para capturar patrones de alto y bajo nivel.

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

Neurosymbolic Program Architecture Search - Methods and Exercises

Introducción a métodos de búsqueda automática de arquitecturas de programas en DSL, incluyendo búsqueda enumerativa y RobustFill, con ejercicios prácticos y una breve revisión de otros métodos.

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

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

Presentación sobre AlphaCode, un sistema de IA para generación de código que logró un ranking promedio en el 54.3% superior en competencias de programación en Codeforces.

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

Better Learning Through Programming Languages: Neurosymbolic Synthesis and Learning

Explora la evolución de la síntesis de programas como herramienta de aprendizaje y su aplicación en algoritmos de aprendizaje neurosimbólico.

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

Programming with Neural Surrogates of Programs

Explora el uso de modelos sustitutos neuronales para mejorar programas complejos, incluyendo patrones de diseño y técnicas para construir sustitutos más óptimos.

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

Learning to Automatically Fix Compiler Errors in C - Workshop 3

Aprenda a corregir automáticamente errores de compilación en C utilizando modelos neuronales, incluyendo modelos de lenguaje pre-entrenados y modelos más pequeños ajustados.

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

Generating Code That Activates Our Brains

Explora cómo nuestro cerebro responde a la comprensión del código y cómo modificar programas para predecir altas respuestas en regiones cerebrales específicas, utilizando retropropagación y el truco Gumbel softmax.

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