1 citations · 1 across the 10 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.AI2023
Vertical Symbolic Regression
Nan Jiang, Md Nasim, Yexiang Xue
Automating scientific discovery has been a grand goal of Artificial Intelligence (AI) and will bring tremendous societal impact. Learning symbolic expressions from experimental dat…
cs.NE2023★ 1 cited
Racing Control Variable Genetic Programming for Symbolic Regression
Nan Jiang, Yexiang Xue
Symbolic regression, as one of the most crucial tasks in AI for science, discovers governing equations from experimental data. Popular approaches based on genetic programming, Mont…
cs.AI2023
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
Jinzhao Li, Nan Jiang, Yexiang Xue
Satisfiability Modulo Counting (SMC) encompasses problems that require both symbolic decision-making and statistical reasoning. Its general formulation captures many real-world pro…