ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2404.17508
  4. Cited By
Constrained Neural Networks for Interpretable Heuristic Creation to
  Optimise Computer Algebra Systems

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems

26 April 2024
Dorian Florescu
Matthew England
ArXivPDFHTML

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
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
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