Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching Paper • 2409.01416 • Published Sep 2, 2024
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits Paper • 2503.01009 • Published Mar 2, 2025
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph Paper • 2511.05849 • Published Nov 8, 2025