Review for NeurIPS paper: Optimal Learning from Verified Training Data