2026
Neuro-Symbolic AI for Analytical Solutions of Differential Equations
ICML 2026poster
Analytical solutions to differential equations offer exact, interpretable insight but are rarely available because discovering them requires expert intuition or exhaustive search in combinatorial spaces. We introduce SIGS, a neuro-symbolic framework that automates this process. SIGS uses a formal gr…