@misc{indiciaef1fbdaf09fd2,
  title = {Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems},
  author = {Dorian Florescu and Matthew England},
  year = {2024},
  url = {https://arxiv.org/abs/2404.17508},
  note = {Source identifier: 2404.17508}
}