firstbacksecondback
22 Results
|
Poster
|
Thu 14:00 |
A Primer for Neural Arithmetic Logic Modules Bhumika Mistry · Katayoun Farrahi · Jonathon Hare |
|
|
Poster
|
Thu 14:00 |
Deep Differentiable Logic Gate Networks Felix Petersen · Christian Borgelt · Hilde Kuehne · Oliver Deussen |
|
|
Poster
|
Tue 14:00 |
Logical Activation Functions: Logit-space equivalents of Probabilistic Boolean Operators Scott Lowe · Robert Earle · Jason d'Eon · Thomas Trappenberg · Sageev Oore |
|
|
Poster
|
Wed 9:00 |
Logical Credal Networks Radu Marinescu · Haifeng Qian · Alexander Gray · Debarun Bhattacharjya · Francisco Barahona · Tian Gao · Ryan Riegel · Pravinda Sahu |
|
|
Poster
|
Tue 9:00 |
Policy Optimization with Linear Temporal Logic Constraints Cameron Voloshin · Hoang Le · Swarat Chaudhuri · Yisong Yue |
|
|
Poster
|
Wed 9:00 |
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming Eleonora Misino · Giuseppe Marra · Emanuele Sansone |
|
|
Poster
|
Wed 9:00 |
LogiGAN: Learning Logical Reasoning via Adversarial Pre-training Xinyu Pi · Wanjun Zhong · Yan Gao · Nan Duan · Jian-Guang Lou |
|
|
Poster
|
Thu 14:00 |
Improving Certified Robustness via Statistical Learning with Logical Reasoning Zhuolin Yang · Zhikuan Zhao · Boxin Wang · Jiawei Zhang · Linyi Li · Hengzhi Pei · Bojan Karlaš · Ji Liu · Heng Guo · Ce Zhang · Bo Li |
|
|
Poster
|
Thu 14:00 |
Inductive Logical Query Answering in Knowledge Graphs Michael Galkin · Zhaocheng Zhu · Hongyu Ren · Jian Tang |
|
|
Poster
|
Tue 9:00 |
Don't Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation Ziwei Xu · Yogesh Rawat · Yongkang Wong · Mohan Kankanhalli · Mubarak Shah |
|
|
Poster
|
Tue 9:00 |
Self-explaining deep models with logic rule reasoning Seungeon Lee · Xiting Wang · Sungwon Han · Xiaoyuan Yi · Xing Xie · Meeyoung Cha |
|
|
Poster
|
Wed 14:00 |
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis Yushi Cao · Zhiming Li · Tianpei Yang · Hao Zhang · YAN ZHENG · Yi Li · Jianye Hao · Yang Liu |