Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2304.12154
Cited By
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
24 April 2023
Lynn Pickering
Tereso Del Rio Almajano
Matthew England
Kelly Cohen
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition"
1 / 1 papers shown
Title
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Rashid Barket
Matthew England
Jurgen Gerhard
19
3
0
23 Apr 2024
1
