firstbacksecondback
18 Results
|
Poster
|
Relative Behavioral Attributes: Filling the Gap between Symbolic Goal Specification and Reward Learning from Human Preferences Lin Guan · Karthik Valmeekam · Subbarao Kambhampati |
||
|
Workshop
|
Thu 5:15 |
Building AI with neuro-symbolic generative models Tuan Anh Le |
|
|
Oral
|
Mon 7:10 |
Learning where and when to reason in neuro-symbolic inference Cristina Cornelio · Jan Stuehmer · Xu Hu · Timothy Hospedales |
|
|
Poster
|
Mon 7:30 |
Learning where and when to reason in neuro-symbolic inference Cristina Cornelio · Jan Stuehmer · Xu Hu · Timothy Hospedales |
|
|
Poster
|
Mon 7:30 |
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning Antonia Creswell · Murray Shanahan · Irina Higgins |
|
|
Oral
|
Mon 7:10 |
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning Antonia Creswell · Murray Shanahan · Irina Higgins |
|
|
Poster
|
Mon 2:30 |
Softened Symbol Grounding for Neuro-symbolic Systems Zenan Li · Yuan Yao · Taolue Chen · Jingwei Xu · Chun Cao · Xiaoxing Ma · Jian Lu |
|
|
Poster
|
Mon 2:30 |
Weighted Clock Logic Point Process Ruixuan Yan · Yunshi Wen · Debarun Bhattacharjya · Ronny Luss · Tengfei Ma · Achille Fokoue · Anak Agung Julius |
|
|
Poster
|
Neuro-Symbolic Procedural Planning with Commonsense Prompting Yujie Lu · Weixi Feng · Wanrong Zhu · Wenda Xu · Xin Wang · Miguel Eckstein · William Wang |
||
|
Workshop
|
[Remote poster] Learning Symbolic Representations Through Joint GEnerative and DIscriminative Training Emanuele Sansone · Robin Manhaeve |
||
|
Poster
|
Tue 7:30 |
Deep Generative Symbolic Regression Samuel Holt · Zhaozhi Qian · Mihaela van der Schaar |
|
|
Poster
|
Mon 7:30 |
FIGARO: Controllable Music Generation using Learned and Expert Features Dimitri von Rütte · Luca Biggio · Yannic Kilcher · Thomas Hofmann |