Login / Signup

Discovering conditional properties of recursive functions in a proof assistant.

Haruhiko SatoNatsuo Ishii
Published in: SCIS/ISIS (2020)
Keyphrases
  • recursive functions
  • inductive inference
  • test bed
  • domain knowledge
  • desirable properties
  • neural network
  • imperative programs