Toward Neural-Network-Guided Program Synthesis and Verification.

Naoki Kobayashi Taro Sekiyama Issei Sato Hiroshi Unno

Published in: SAS (2021)

Keyphrases

program synthesis
neural network
model checking
recursive programs
artificial neural networks
back propagation
neural network model
fuzzy logic
inductive logic programming
signature verification
radial basis function
neural network is trained
genetic algorithm
fault diagnosis