{"total":14,"rows":[{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2304.03496","title":"Architecture-Preserving Provable Repair of Deep Neural Networks","created":"2023-04-07","cited_by_count":11,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"area":null},{"id":"2303.01141","title":"DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction","created":"2023-03-02","cited_by_count":4,"area":null},{"id":"2305.03365","title":"Repairing Deep Neural Networks Based on Behavior Imitation","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2501.13023","title":"Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis","created":"2025-01-22","cited_by_count":3,"area":null},{"id":"2302.06455","title":"Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks","created":"2023-02-10","cited_by_count":2,"area":null},{"id":"2207.08157","title":"Automated Repair of Neural Networks","created":"2022-07-17","cited_by_count":1,"area":null},{"id":"2106.11881","title":"Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe","created":"2021-06-22","cited_by_count":0,"area":null},{"id":"2304.02813","title":"Causal Repair of Learning-enabled Cyber-physical Systems","created":"2023-04-06","cited_by_count":0,"area":null},{"id":"2404.01642","title":"Patch Synthesis for Property Repair of Deep Neural Networks","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2504.08415","title":"Constrained Machine Learning Through Hyperspherical Representation","created":"2025-04-11","cited_by_count":0,"area":null}],"next_cursor":null}