4 papers
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
Nan Jiang, Ziyi Wang, Yexiang Xue
Symbolic regression seeks to uncover physical laws from experimental data by searching for closed-form expressions, which is an important task in AI-driven scientific discovery. Ye…
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
Jinzhao Li, Nan Jiang, Yexiang Xue
Satisfiability Modulo Counting (SMC) is a recently proposed general language to reason about problems integrating statistical and symbolic Artificial Intelligence. An SMC problem i…
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
Nan Jiang, Md Nasim, Yexiang Xue
The symbolic discovery of Ordinary Differential Equations (ODEs) from trajectory data plays a pivotal role in AI-driven scientific discovery. Existing symbolic methods predominantl…
A Tighter Convergence Proof of Reverse Experience Replay
Nan Jiang, Jinzhao Li, Yexiang Xue
In reinforcement learning, Reverse Experience Replay (RER) is a recently proposed algorithm that attains better sample complexity than the classic experience replay method. RER req…