Nan Jiang
jiangnanhugo
·
AI & ML interests
None yet
Recent Activity
authored a paper 28 days ago
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching authored a paper 28 days ago
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits authored a paper 28 days ago
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph