| 7 |
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching |
Nan Jiang, Md Nasim, Yexiang Xue |
| 10 |
LLM-based SQL Generation with Reinforcement Learning |
Mariia Berdnyk, Marine Collery |
| 11 |
From Black Box to Algorithmic Insight: Explainable AI in Graph Neural Networks for Graph Coloring |
Elad Shoham, Havana Rika, Dan Vilenchik |
| 12 |
Beyond Interpolation: Extrapolative Reasoning with Reinforcement Learning and Graph Neural Networks |
Niccolò Grillo, Andrea Toccaceli, Benjamin Estermann, Joël Mathys, Stefania Fresca, Roger Wattenhofer |
| 13 |
Can Better Solvers Find Better Matches? Assessing Math-LLM Models in Similar Problem Identification |
Savitha Sam Abraham, Pietro Totis, Marjan Alirezaie, Luc De Raedt |
| 14 |
Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning |
Michael Hersche, Giacomo Camposampiero, Roger Wattenhofer, Abu Sebastian, Abbas Rahimi |
| 15 |
Enhancing Reasoning through Process Supervision with Monte Carlo Tree Search |
Shuangtao Li, ShuaihaoDong, Kexin Luan, Xinhan Di, Chaofan Ding |
| 19 |
An Evaluation of Approaches to Train Embeddings for Logical Inference |
Yasir White, Jevon Lipsey, Jeff Heflin |
|
The acceptance ratio: 34.78% |
|