Regression verification of unbalanced recursive functions with multiple calls (long version).

Chaked R. J. Sayedoff Ofer Strichman

Published in: CoRR (2022)

Keyphrases

recursive functions
inductive inference
data sets
neural network
regression model
learning algorithm
image classification
background knowledge
model checking