Toward Neural-Network-Guided Program Synthesis and Verification.
Naoki KobayashiTaro SekiyamaIssei SatoHiroshi UnnoPublished in: CoRR (2021)
Keyphrases
- program synthesis
- neural network
- back propagation
- recursive programs
- inductive logic programming
- artificial neural networks
- self organizing maps
- model checking
- neural network model
- artificial intelligence
- expert systems
- fuzzy logic
- co occurrence
- support vector
- fault diagnosis
- radial basis function
- high level
- information retrieval