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