Skip to yearly menu bar Skip to main content


(2 events)   Time zone: Conference local time zone  
Show all
Toggle Poster Visibility
Oral
Fri May 10 03:45 PM -- 04:00 PM (CEST) @ Halle A 2 None
Mastering Memory Tasks with World Models
In Oral 8C
Mohammad Reza Samsami · Artem Zholus · Janarthanan Rajendran · Sarath Chandar
[ OpenReview]  [ OpenReview] 
Oral
Fri May 10 04:00 PM -- 04:15 PM (CEST) @ Halle A 2 None
LEGO-Prover: Neural Theorem Proving with Growing Libraries
In Oral 8C
Haiming Wang · Huajian Xin · Chuanyang Zheng · Zhengying Liu · Qingxing Cao · Yinya Huang · Jing Xiong · Han Shi · Enze Xie · Jian Yin · Zhenguo Li · Xiaodan Liang
[ OpenReview]  [ OpenReview]