Orestis Oikonomou

Neuro-Symbolic AI for Analytical Solutions of Differential Equations

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…