ProofNet: A Benchmark for Formal Theorem Proving and Autoformalization
Dec 2, 2022
Speakers
Organizer
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
04:54
Positive-Unlabeled Learning using Random Forests via Recursive Greedy Risk Minimization
Watch later
Watch later
Favorite
N2
NeurIPS 2022
2 years ago
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
05:37
Diversity Boosted Learning for Domain Generalization with A Large Number of Domains
Watch later
Watch later
Favorite
Xi Leng, …
N2
NeurIPS 2022
2 years ago
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
05:40
Adaptive Multi-stage Density Ratio Estimation for Learning Latent Space Energy-based Model
Watch later
Watch later
Favorite
N2
NeurIPS 2022
2 years ago
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
05:01
Single-Stage Visual Relationship Learning using Conditional Queries
Watch later
Watch later
Favorite
Alakh Desai, …
N2
NeurIPS 2022
2 years ago
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
04:10
Teacher Forcing Recovers Reward Functions for Text Generation
Watch later
Watch later
Favorite
N2
NeurIPS 2022
2 years ago
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%
03:23
Fair Multimodal Checklists for Interpretable Clinical Time Series Prediction
Watch later
Watch later
Favorite
Qixuan Jin, …
N2
NeurIPS 2022
2 years ago
Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%