{"total":18,"rows":[{"id":"2310.00116","title":"Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization","created":"2023-09-29","cited_by_count":21,"area":null},{"id":"2201.00632","title":"Neural network training under semidefinite constraints","created":"2022-01-03","cited_by_count":11,"area":null},{"id":"2401.14033","title":"Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations","created":"2024-01-25","cited_by_count":7,"area":null},{"id":"2103.17106","title":"Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers","created":"2021-03-31","cited_by_count":6,"area":null},{"id":"2210.08069","title":"Zonotope Domains for Lagrangian Neural Network Verification","created":"2022-10-14","cited_by_count":5,"area":null},{"id":"2303.03042","title":"Convolutional Neural Networks as 2-D systems","created":"2023-03-06","cited_by_count":5,"area":null},{"id":"2304.02755","title":"Hybrid Zonotopes Exactly Represent ReLU Neural Networks","created":"2023-04-05","cited_by_count":4,"area":null},{"id":"2404.07373","title":"Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees","created":"2024-04-10","cited_by_count":4,"area":null},{"id":"2406.05119","title":"Compositional Curvature Bounds for Deep Neural Networks","created":"2024-06-07","cited_by_count":4,"area":null},{"id":"2406.12744","title":"Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers","created":"2024-06-18","cited_by_count":4,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2409.15858","title":"Identification For Control Based on Neural Networks: Approximately Linearizable Models","created":"2024-09-24","cited_by_count":1,"area":null},{"id":"2103.12141","title":"Performance Bounds for Neural Network Estimators: Applications in Fault Detection","created":"2021-03-22","cited_by_count":0,"area":null},{"id":"2203.00295","title":"A Domain-Theoretic Framework for Robustness Analysis of Neural Networks","created":"2022-03-01","cited_by_count":0,"area":null},{"id":"2609.22576","title":"Scalable Incremental Robustness Analysis of Neural Network Feedback Systems","created":"2026-09-18","cited_by_count":0,"area":null},{"id":"2609.30859","title":"AC Power Flow Contingency Analysis Using a Single Deep Neural Network","created":"2026-09-25","cited_by_count":0,"area":null},{"id":"2610.03142","title":"CalCErt: Bin-wise Certification of Confidence Calibration in Medical Image Classification","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}