Learning Implicitly with Noisy Data in Linear Arithmetic

1 code implementation • 23 Oct 2020 • Alexander P. Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba

In this work, we extend implicit learning in PAC-Semantics to handle noisy data in the form of intervals and threshold uncertainty in the language of linear arithmetic.