{"total":15,"rows":[{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2406.10019","title":"Group and Shuffle: Efficient Structured Orthogonal Parametrization","created":"2024-06-14","cited_by_count":11,"area":null},{"id":"2501.07930","title":"An Adaptive Orthogonal Convolution Scheme for Efficient and Flexible CNN Architectures","created":"2025-01-14","cited_by_count":8,"area":null},{"id":"2505.12003","title":"Approximation theory for 1-Lipschitz ResNets","created":"2025-05-17","cited_by_count":7,"area":null},{"id":"2505.15174","title":"Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss","created":"2025-05-21","cited_by_count":5,"area":null},{"id":"2602.15503","title":"Approximation Theory for Lipschitz Continuous Transformers","created":"2026-02-17","cited_by_count":5,"area":null},{"id":"2412.04245","title":"Intriguing Properties of Robust Classification","created":"2024-12-05","cited_by_count":3,"area":null},{"id":"2503.14751","title":"LipShiFT: A Certifiably Robust Shift-based Vision Transformer","created":"2025-03-18","cited_by_count":3,"area":null},{"id":"2603.21684","title":"LipsAM: Lipschitz-Continuous Amplitude Modifier for Audio Signal Processing and its Application to Plug-and-Play Dereverberation","created":"2026-03-23","cited_by_count":1,"area":null},{"id":"2508.02882","title":"Deep Network Trainability via Persistent Subspace Orthogonality","created":"2025-08-04","cited_by_count":0,"area":null},{"id":"2510.22299","title":"Stable neural networks and connections to continuous dynamical systems","created":"2025-10-25","cited_by_count":0,"area":null},{"id":"2601.14519","title":"How Worst-Case Are Adversarial Attacks? Linking Adversarial and Perturbation Robustness","created":"2026-01-20","cited_by_count":0,"area":null},{"id":"2603.26168","title":"Provably Contractive and High-Quality Denoisers for Convergent Restoration","created":"2026-03-27","cited_by_count":0,"area":null},{"id":"2609.30973","title":"LipSSM: Structurally Lipschitz-Bounded Cascaded State-Space Model via Metric Transfer between Consecutive SSM Layers","created":"2026-09-25","cited_by_count":0,"area":null},{"id":"2610.18005","title":"Surface Reconstruction from Range Scans Under Visibility Constraints","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}