Generalization Analysis on Learning with a Concurrent Verifier

Masaaki Nishino, Kengo Nakamura, Norihito Yasuda

Machine learning technologies have been used in a wide range of practical systems. In practical situations, it is natural to expect the input-output pairs of a machine learning mod…