Login / Signup
Discovering conditional properties of recursive functions in a proof assistant.
Haruhiko Sato
Natsuo Ishii
Published in:
SCIS/ISIS (2020)
Keyphrases
</>
recursive functions
inductive inference
test bed
domain knowledge
desirable properties
neural network
imperative programs