{"total":23,"rows":[{"id":"2602.22631","title":"TorchLean: Formalizing Neural Networks in Lean","created":"2026-02-26","cited_by_count":4,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2,"area":null},{"id":"2602.17530","title":"Provably Explaining Neural Additive Models","created":"2026-02-19","cited_by_count":1,"area":null},{"id":"2603.03043","title":"IoUCert: Robustness Verification for Anchor-based Object Detectors","created":"2026-03-03","cited_by_count":1,"area":null},{"id":"2605.07451","title":"VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification","created":"2026-05-08","cited_by_count":1,"area":null},{"id":"2607.14375","title":"Random Parameter Noise Does Not Make Exact ReLU Verification Easy","created":"2026-07-15","cited_by_count":1,"area":null},{"id":"2601.13303","title":"On the Extreme Variance of Certified Local Robustness Across Model Seeds","created":"2026-01-19","cited_by_count":0,"area":null},{"id":"2602.10032","title":"Perception with Guarantees: Certified Pose Estimation via Reachability Analysis","created":"2026-02-10","cited_by_count":0,"area":null},{"id":"2603.13334","title":"Lipschitz-Based Robustness Certification Under Floating-Point Execution","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2603.23878","title":"The Luna Bound Propagator for Formal Analysis of Neural Networks","created":"2026-03-25","cited_by_count":0,"area":null},{"id":"2605.10474","title":"Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes","created":"2026-05-11","cited_by_count":0,"area":null},{"id":"2605.14294","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2605.23096","title":"Encrypted Neural Networks without Overflows","created":"2026-05-21","cited_by_count":0,"area":null},{"id":"2605.23203","title":"Lipschitz Optimization for Formal Verification of Homographies","created":"2026-05-22","cited_by_count":0,"area":null},{"id":"2605.30155","title":"Neural Network Verification using Partial Multi-Neuron Relaxation","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2606.02134","title":"Rethinking Evaluation Paradigms in IBP-based Certified Training","created":"2026-06-01","cited_by_count":0,"area":null},{"id":"2606.03946","title":"MLSkip: Data Skipping for ML Filters via Lightweight Metadata","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2606.20292","title":"Shifting-based Optimizable Linear Relaxations for General Activation Functions","created":"2026-06-18","cited_by_count":0,"area":null},{"id":"2607.07762","title":"Trustworthy Machine Learning through the Lens of Combinatorial Optimization: Survey and Research Perspectives","created":"2026-07-08","cited_by_count":0,"area":null},{"id":"2609.23239","title":"SoK: Formal Methods for Fact-Checking and Information Integrity","created":"2026-09-19","cited_by_count":0,"area":null},{"id":"2609.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","cited_by_count":0,"area":null},{"id":"2609.34628","title":"CLAD: Constrained Abstract Domain for Neural Network Verification","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.11994","title":"Neural Network Verification for Deep Joint Source-Channel Coding","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}