Skip to yearly menu bar Skip to main content


(2 events)   Timezone:  
Show all
Toggle Poster Visibility
Oral
Fri May 10 06:45 AM -- 07:00 AM (PDT) @ 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 07:00 AM -- 07:15 AM (PDT) @ 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]