C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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