49:35
SYNT 2020: Neuro-Symbolic Program Synthesis from Natural Language and Demonstrations
Conference on Computer-Aided Verification
1.4K views
View & DownloadConference on Computer-Aided Verification
1.4K views
View & DownloadMicrosoft Research
6.9K views
View & DownloadMachine Learning Street Talk
17.9K views
View & DownloadInstitute for Pure & Applied Mathematics (IPAM)
2.1K views
View & DownloadSimons Institute for the Theory of Computing
973 views
View & DownloadMachine Learning Street Talk
21.9K views
View & DownloadMicrosoft Research
1.8K views
View & DownloadValerio Velardo - The Sound of AI
1.9K views
View & DownloadMachine Learning Street Talk
12.3K views
View & DownloadThe Julia Programming Language
139 views
View & Download