Towards Grounded Natural Language Proof Generation
Dec 6, 2021
Speakers
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
Scaling Gaussian Process Regression with Derivative Information Using Variational Inference
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Math Programming based Reinforcement Learning for Multi-Echelon Inventory Management
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Skill-based Meta-Reinforcement Learning
Watch later
Taewook Nam, …
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
STAR: A Benchmark for Situated Reasoning in Real-World Videos
Watch later
Bo Wu, …
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
Policy Gradients Incorporating the Future
Watch later
David Venuto, …
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
eXplainable Al approaches for debugging and diagnosis
Watch later
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%