Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
Xiyue ZhangYi LiWeijiang HongMeng SunPublished in: TASE (2019)
Keyphrases
- recurrent neural networks
- recurrent networks
- complex valued
- neural network
- feed forward
- hidden layer
- echo state networks
- artificial neural networks
- feedforward neural networks
- reservoir computing
- desirable properties
- neural model
- theorem prover
- software components
- linear combination
- training data
- decision making
- learning algorithm