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