Towards Reliable Neural Specifications.

Chuqin Geng Nham Le Xiaojie Xu Zhaoyue Wang Arie Gurfinkel Xujie Si

Published in: ICML (2023)

Keyphrases

network architecture
neural network
high level
control flow
cost effective
highly accurate
neural fuzzy
artificial neural
specification language
bio inspired
formal specification
data flow
associative memory
data structure
image sequences
genetic algorithm
machine learning