Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems.
Dorian FlorescuMatthew EnglandPublished in: ICMS (2024)
Keyphrases
- neural network
- computer algebra systems
- computer algebra
- pattern recognition
- artificial neural networks
- optimal solution
- recurrent neural networks
- self organizing maps
- combinatorial optimization
- theorem prover
- neural nets
- multilayer perceptron
- feed forward
- neural network model
- simulated annealing
- fuzzy logic
- fault diagnosis
- tabu search
- genetic programming
- solution quality
- expert systems
- multi layer
- theorem proving
- beam search
- creation process
- search algorithm
- genetic algorithm