{"total":25,"rows":[{"id":"2105.14835","title":"Towards Lower Bounds on the Depth of ReLU Neural Networks","created":"2021-05-31","cited_by_count":56,"area":null},{"id":"2102.07861","title":"Low Curvature Activations Reduce Overfitting in Adversarial Training","created":"2021-02-15","cited_by_count":29,"area":null},{"id":"2203.11201","title":"Efficient Neural Network Analysis with Sum-of-Infeasibilities","created":"2022-03-19","cited_by_count":24,"area":null},{"id":"2203.01993","title":"Polarity Sampling: Quality and Diversity Control of Pre-Trained Generative Networks via Singular Values","created":"2022-03-03","cited_by_count":21,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2111.08922","title":"Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification","created":"2021-11-17","cited_by_count":13,"area":null},{"id":"2203.03034","title":"A Unified View of SDP-based Neural Network Verification through Completely Positive Programming","created":"2022-03-06","cited_by_count":12,"area":null},{"id":"2103.01629","title":"DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers","created":"2021-03-02","cited_by_count":11,"area":null},{"id":"2209.05055","title":"CARE: Certifiably Robust Learning with Reasoning via Variational Inference","created":"2022-09-12","cited_by_count":10,"area":null},{"id":"2406.18451","title":"Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers","created":"2024-06-26","cited_by_count":10,"area":null},{"id":"2512.11087","title":"Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification","created":"2025-12-11","cited_by_count":9,"area":null},{"id":"2102.09663","title":"Smart Feasibility Pump: Reinforcement Learning for (Mixed) Integer Programming","created":"2021-02-18","cited_by_count":8,"area":null},{"id":"2108.09413","title":"Integer-arithmetic-only Certified Robustness for Quantized Neural Networks","created":"2021-08-21","cited_by_count":7,"area":null},{"id":"2202.01186","title":"Smoothed Embeddings for Certified Few-Shot Learning","created":"2022-02-02","cited_by_count":6,"area":null},{"id":"2105.02803","title":"Dynamic Defense Approach for Adversarial Robustness in Deep Neural Networks via Stochastic Ensemble Smoothed Model","created":"2021-05-06","cited_by_count":4,"area":null},{"id":"2206.14056","title":"Deep Neural Networks pruning via the Structured Perspective Regularization","created":"2022-06-28","cited_by_count":4,"area":null},{"id":"2108.00491","title":"Certified Defense via Latent Space Randomized Smoothing with Orthogonal Encoders","created":"2021-08-01","cited_by_count":3,"area":null},{"id":"2201.00723","title":"A Mixed-Integer Programming Approach to Training Dense Neural Networks","created":"2022-01-03","cited_by_count":3,"area":null},{"id":"2308.05617","title":"A Neural Network Based Choice Model for Assortment Optimization","created":"2023-08-10","cited_by_count":3,"area":null},{"id":"2404.08285","title":"A Survey of Neural Network Robustness Assessment in Image Recognition","created":"2024-04-12","cited_by_count":3,"area":null},{"id":"2202.02429","title":"Verifying Inverse Model Neural Networks","created":"2022-02-04","cited_by_count":1,"area":null},{"id":"2210.08929","title":"DE-CROP: Data-efficient Certified Robustness for Pretrained Classifiers","created":"2022-10-17","cited_by_count":1,"area":null},{"id":"2402.18851","title":"Applications of 0-1 Neural Networks in Prescription and Prediction","created":"2024-02-29","cited_by_count":0,"area":null}],"next_cursor":null}