• Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3

  • Jun 20 2023
  • Length: 1 hr and 58 mins
  • Podcast

Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3

Listen for free

View show details

  • Summary

  • Timestamps 0:00 Intro 1:04 What if a Computer Could Program Itself? 7:50 Automatically Programming with Different Forms of Reasoning 12:48 Neruosymbolic Computing, Continuous vs. Discrete AI 19:28 How did you find this Problem? 23:43 Program Synthesis 31:38 Who Inspired You? 35:41 Overview of Sketch 45:21 Counterexample-guided Abstraction Refinement 55:28 Examples and Applications of Program Synthesis 1:03:29 Synthesis with Machine Learning vs Solvers; Relationship with Neruosymbolic AI 1:07:15 The Holy Grail of AI - Neurosymbolic Computing 1:12:08 Socio-Economic Impacts of Software 1:22:31 Self-Replicating and Self-Programming AI 1:27:33 Fear of AI, Building Systems with Safe AI 1:33:39 Philosophy of Language and AI, Language as a Glue for Reasoning 1:41:43 Could Deductive Reasoning Emerge from Inductive/Abductive Reasoning? 1:47:31 Applications that you find Exciting/Utopian 1:50:00 Applications that you find Scary/Utopian
    Show More Show Less
Show More Show Less

What listeners say about Armando Solar Lezama - AI Programming; Program Synthesis • YASP #3

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.co.uk reviews

Amazon reviews
No Reviews are Available