Efficient Pragmatic Program Synthesis with Informative Specifications
Dec 6, 2021
Speakers
Saujas Vaduguru
Speaker · 0 followers
Kevin Ellis
Speaker · 0 followers
Organizer
NeurIPS 2021
Account · 1.9k followers
About NeurIPS 2021
Neural Information Processing Systems (NeurIPS) is a multi-track machine learning and computational neuroscience conference that includes invited talks, demonstrations, symposia and oral and poster presentations of refereed papers. Following the conference, there are workshops which provide a less formal setting.
Like the format? Trust SlidesLive to capture your next event!
Professional recording and live streaming, delivered globally.
Sharing
Recommended Videos
Presentations on similar topic, category or speaker
Dynamic Inference with Neural Interpreters
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Investigating Shifts in GAN Output-Distributions
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Dataset and Benchmark Track 1
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Closing Remarks
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Margin-Independent Online Multiclass Learning via Convex Geometry
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Stochastic Online Linear Regression: the Forward Algorithm to Replace Ridge
Watch later
Reda Ouhamma, …
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%