firstbacksecondback
41 Results
|
Workshop
|
Formal Representation and Solution of Plane Geometric Problems Xiaokai Zhang · Na Zhu · Cheng Qin · LI Yang · Zhenbing Zeng · Tuo Leng |
||
|
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
|
Declarative characterizations of direct preference alignment algorithms Kyle Richardson · Vivek Srikumar · Ashish Sabharwal |
||
|
Workshop
|
STEM-PoM: Evaluating Language Models Math-Symbol Reasoning in Document Parsing Jiaru Zou · Qing Wang · Pratyush Thakur · Nickvash Kani |
||
|
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 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 |
|
|
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 |
|
|
Workshop
|
Logically Consistent Language Models via Neuro-Symbolic Integration Diego Calanzone · Stefano Teso · Antonio Vergari |
||
|
Poster
|
Fri 11:00 |
Almost-Linear RNNs Yield Highly Interpretable Symbolic Codes in Dynamical Systems Reconstruction Manuel Brenner · Christoph Jürgen Hemmer · Zahra Monfared · Daniel Durstewitz |
|
|
Workshop
|
Two-Stage Coefficient Estimation in Symbolic Regression for Scientific Discovery Masahiro Negishi · Yoshitomo Matsubara · Naoya Chiba · Ryo Igarashi · Yoshitaka Ushiku |
||
|
Poster
|
Wed 11:00 |
Symbolic Regression with a Learned Concept Library Arya Grayeli · Atharva Sehgal · Omar Costilla Reyes · Miles Cranmer · Swarat Chaudhuri |
|
|
Poster
|
Wed 16:30 |
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li · Yifan Wu · Zhaoyu Li · Xinming Wei · Xian Zhang · Fan Yang · Xiaoxing Ma |