Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2404.17508
Cited By
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
26 April 2024
Dorian Florescu
Matthew England
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems"
2 / 2 papers shown
Title
Algebraic Representations for Faster Predictions in Convolutional Neural Networks
Johnny Joyce
Jan Verschelde
AI4CE
21
0
0
14 Aug 2024
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Lynn Pickering
Tereso Del Rio Almajano
Matthew England
Kelly Cohen
18
12
0
24 Apr 2023
1