Neurosymbolic Program Architecture Search Methods - Session 3

Neurosymbolic Program Architecture Search Methods - Session 3

Neurosymbolic Programming for Science via YouTube Direct link

Dreamcoder

11 of 20

11 of 20

Dreamcoder

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Neurosymbolic Program Architecture Search Methods - Session 3

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Outline of Tutorial
  2. 2 Session 3
  3. 3 Recall: Searching over program structures
  4. 4 Basic Idea
  5. 5 Simplest Case: Deterministic Greedy
  6. 6 Next Step: Beam Search
  7. 7 Learning Setup
  8. 8 Neural Architectures for Sequence Prediction
  9. 9 Learning to Search vs. Neural Relaxations
  10. 10 Library Learning
  11. 11 Dreamcoder
  12. 12 Neurosymbolic Programming
  13. 13 Integrate verification and learning
  14. 14 Safe Learning
  15. 15 Verification Technique: Symbolic Execution
  16. 16 DSE: Differentiable Symbolic Execution
  17. 17 Neurosymbolic learning isn't new...
  18. 18 Hands-on Activity Overview
  19. 19 Code Structure
  20. 20 Potential Areas to Explore

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.