Yexiang Xue
4
Papers
7
Total Citations
Papers (4)
Racing Control Variable Genetic Programming for Symbolic Regression
AAAI 2024arXiv
6
citations
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees
AAAI 2024arXiv
1
citations
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
AAAI 2025
0
citations
Efficient Learning of PDEs via Taylor Expansion and Sparse Decomposition into Value and Fourier Domains
AAAI 2024arXiv
0
citations