Training Binary Classifiers as Data Structure Invariants | Publicación