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

Impossibile aggiungere al carrello

Puoi avere soltanto 50 titoli nel carrello per il checkout.

Riprova più tardi

Rimozione dalla Lista desideri non riuscita.

Riprova più tardi

Non è stato possibile aggiungere il titolo alla Libreria

Per favore riprova

Non è stato possibile seguire il Podcast

Per favore riprova

Esecuzione del comando Non seguire più non riuscita

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

Ascolta gratuitamente

Vedi i dettagli del titolo

Offerte di stagione | 0,99 €/mese per i primi 3 mesi

A seguire 9,99 €/mese – si applicano condizioni. Puoi disdire mensilmente.

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

Ancora nessuna recensione