Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.
Dorian FlorescuMatthew EnglandPublished in: CoRR (2024)
Keyphrases
- neural network
- computer algebra systems
- computer algebra
- pattern recognition
- fuzzy logic
- optimal solution
- theorem prover
- multilayer perceptron
- dynamic programming
- search algorithm
- feasible solution
- back propagation
- exact algorithms
- feed forward
- self organizing maps
- fault diagnosis
- simulated annealing
- neural network model
- supervised learning
- solution quality
- neural nets
- multi layer
- theorem proving
- multi layer perceptron
- activation function
- rule extraction
- artificial neural networks