%0 Conference Paper %A Molina, Facundo %A Degiovanni, Renzo %A Ponzio, Pablo %A Regis, Germán %A Aguirre, Nazareno %A Frias, Marcelo %T Training Binary Classifiers as Data Structure Invariants %D 2019 %U https://hdl.handle.net/20.500.14352/133677 %~