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