Training Binary Classifiers as Data Structure Invariants

Date:

Presentation of a research paper on training machine learning models, specifically binary classifiers using neural networks, to be used as data structure invariants in program analysis scenarios
[Slide]