α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Yexiang Xue
Yexiang Xue
6
papers
7
total citations
papers (6)
Racing Control Variable Genetic Programming for Symbolic Regression
AAAI 2024
arXiv
6
citations
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees
AAAI 2024
arXiv
1
citations
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
AAAI 2025
arXiv
0
citations
Efficient Learning of PDEs via Taylor Expansion and Sparse Decomposition into Value and Fourier Domains
AAAI 2024
arXiv
0
citations
LSH-SMILE: Locality Sensitive Hashing Accelerated Simulation and Learning
NEURIPS 2021
0
citations
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
ICML 2025
arXiv
0
citations