Yexiang Xue

Venues

Frequent coauthors

Papers

1. Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
   AAAI 2025 ·

   Nan Jiang

   DBLP profile ↗ORCID search ↗
2. Integrating Symbolic Reasoning into Neural Generative Models for Design Generation
   AAAI 2025 ·

   Maxwell J. Jacobson

   DBLP profile ↗ORCID search ↗
3. Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
   ICML 2025 ·

   Jinzhao Li

   DBLP profile ↗ORCID search ↗
4. Efficient Learning of PDEs via Taylor Expansion and Sparse Decomposition into Value and Fourier Domains
   AAAI 2024 ·

   Md. Nasim

   DBLP profile ↗ORCID search ↗
5. End-to-End Phase Field Model Discovery Combining Experimentation, Crowdsourcing, Simulation and Learning
   AAAI 2024 ·

   Md. Nasim

   DBLP profile ↗ORCID search ↗
6. Natural Language-based State Representation in Deep Reinforcement Learning
   NAACL 2024 ·

   Md Masudur Rahman

   DBLP profile ↗ORCID search ↗
7. Racing Control Variable Genetic Programming for Symbolic Regression
   AAAI 2024 ·

   Nan Jiang

   DBLP profile ↗ORCID search ↗
8. Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees
   AAAI 2024 ·

   Jinzhao Li

   DBLP profile ↗ORCID search ↗
9. Vertical Symbolic Regression via Deep Policy Gradient
   IJCAI 2024 ·

   Nan Jiang

   DBLP profile ↗ORCID search ↗