tokens: In this paper , we define the problem of model completion formally ( ssec : problem - def ) , propose a metric to measure the hardness of model completion ( ssec : hardness - def ) , and provide empirical results ( sec : experimental - setup and ssec : experimental - results ) in both the supervised learning ( SL ) and in reinforcement learning ( RL ) .