firstbacksecondback
7 Results
|
Workshop
|
Logically Consistent Language Models via Neuro-Symbolic Integration Diego Calanzone · Stefano Teso · Antonio Vergari |
||
|
Poster
|
Thu 11:00 |
Neuro-Symbolic Data Generation for Math Reasoning Zenan Li · Zhi Zhou · Yuan Yao · Xian Zhang · Yu-Feng Li · Chun Cao · Fan Yang · Xiaoxing Ma |
|
|
Workshop
|
Declarative characterizations of direct preference alignment algorithms Kyle Richardson · Vivek Srikumar · Ashish Sabharwal |
||
|
Workshop
|
Learning to Bridge the Gap: Efficient Novelty Recovery with Planning and Reinforcement Learning Alicia Li · Nishanth Kumar · Tomás Lozano-Pérez · Leslie Kaelbling |
||
|
Workshop
|
Formal Representation and Solution of Plane Geometric Problems Xiaokai Zhang · Na Zhu · Cheng Qin · LI Yang · Zhenbing Zeng · Tuo Leng |
||
|
Poster
|
Fri 16:30 |
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts Samuele Bortolotti · Emanuele Marconato · Tommaso Carraro · Paolo Morettin · Emile van Krieken · Antonio Vergari · Stefano Teso · Andrea Passerini |
|
|
Poster
|
Thu 16:30 |
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li · Zhaoyu Li · Qiwei Du · Jinqi Luo · Wenshan Wang · Yaqi Xie · Simon Stepputtis · Chen Wang · Katia Sycara · Pradeep Ravikumar · Alexander Gray · Xujie Si · Sebastian Scherer |