Overfitting in Synthesis: Theory and Practice.

Saswat Padhi Todd D. Millstein Aditya V. Nori Rahul Sharma

Published in: CAV (1) (2019)

Keyphrases

theoretical framework
theoretical insights
mobile robot
general theory
neural network
real world
learning algorithm
cross validation
theoretical foundation
theoretical basis
program synthesis
theoretical frameworks
case study
multiresolution
computational model
belief functions