{"total":79,"rows":[{"id":"2101.02559","title":"Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead","created":"2021-01-04","cited_by_count":41,"area":null},{"id":"2104.06172","title":"On the Computational Intelligibility of Boolean Classifiers","created":"2021-04-13","cited_by_count":40,"area":null},{"id":"2305.00241","title":"When Deep Learning Meets Polyhedral Theory: A Survey","created":"2023-04-29","cited_by_count":39,"area":null},{"id":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"area":null},{"id":"2108.13179","title":"Reachability Is NP-Complete Even for the Simplest Neural Networks","created":"2021-08-30","cited_by_count":27,"area":null},{"id":"2206.11900","title":"ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations","created":"2022-06-23","cited_by_count":26,"area":null},{"id":"2106.04823","title":"Taxonomy of Machine Learning Safety: A Survey and Primer","created":"2021-06-09","cited_by_count":25,"area":null},{"id":"2203.10451","title":"On the Computation of Necessary and Sufficient Explanations","created":"2022-03-20","cited_by_count":23,"area":null},{"id":"2209.07740","title":"Computing Abductive Explanations for Boosted Trees","created":"2022-09-16","cited_by_count":23,"area":null},{"id":"2305.05172","title":"Logic for Explainable AI","created":"2023-05-09","cited_by_count":23,"area":null},{"id":"2102.07804","title":"Scaling Up Exact Neural Network Compression by ReLU Stability","created":"2021-02-15","cited_by_count":19,"area":null},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18,"area":null},{"id":"2103.07224","title":"BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks","created":"2021-03-12","cited_by_count":17,"area":null},{"id":"2505.18585","title":"RvLLM: LLM Runtime Verification with Domain Knowledge","created":"2025-05-24","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2108.09876","title":"On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI","created":"2021-08-23","cited_by_count":16,"area":null},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14,"area":null},{"id":"2512.01295","title":"Systems Security Foundations for Agentic Computing","created":"2025-12-01","cited_by_count":13,"area":"agents"},{"id":"2101.10102","title":"Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning","created":"2021-01-25","cited_by_count":12,"area":null},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12,"area":null},{"id":"2501.05867","title":"Neural Network Verification is a Programming Language Challenge","created":"2025-01-10","cited_by_count":12,"area":null},{"id":"2402.11995","title":"Network Inversion of Binarised Neural Nets","created":"2024-02-19","cited_by_count":11,"area":null},{"id":"2203.11629","title":"On Neural Network Equivalence Checking using SMT Solvers","created":"2022-03-22","cited_by_count":10,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8,"area":null},{"id":"2304.14760","title":"A New Class of Explanations for Classifiers with Non-Binary Features","created":"2023-04-28","cited_by_count":8,"area":null},{"id":"2105.14506","title":"Drop Clause: Enhancing Performance, Interpretability and Robustness of the Tsetlin Machine","created":"2021-05-30","cited_by_count":7,"area":null},{"id":"2104.14435","title":"Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes","created":"2021-04-25","cited_by_count":6,"area":null},{"id":"2105.09108","title":"Provable Guarantees on the Robustness of Decision Rules to Causal Interventions","created":"2021-05-19","cited_by_count":6,"area":null},{"id":"2106.05997","title":"Verifying Quantized Neural Networks using SMT-Based Model Checking","created":"2021-06-10","cited_by_count":6,"area":null},{"id":"2112.06582","title":"Geometric Path Enumeration for Equivalence Verification of Neural Networks","created":"2021-12-13","cited_by_count":6,"area":null},{"id":"2307.11784","title":"What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems","created":"2023-07-20","cited_by_count":6,"area":null},{"id":"2312.11831","title":"Locally-Minimal Probabilistic Explanations","created":"2023-12-19","cited_by_count":6,"area":null},{"id":"2410.14219","title":"Formal Explanations for Neuro-Symbolic AI","created":"2024-10-18","cited_by_count":6,"area":null},{"id":"2203.07941","title":"Reachability In Simple Neural Networks","created":"2022-03-15","cited_by_count":5,"area":null},{"id":"2301.13328","title":"On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits","created":"2023-01-30","cited_by_count":5,"area":null},{"id":"2111.13110","title":"QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking","created":"2021-11-25","cited_by_count":4,"area":null},{"id":"2208.08609","title":"A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables","created":"2022-08-18","cited_by_count":4,"area":null},{"id":"2410.20207","title":"Revisiting Differential Verification: Equivalence Verification with Confidence","created":"2024-10-26","cited_by_count":4,"area":null},{"id":"2104.10044","title":"BCNN: Binary Complex Neural Network","created":"2021-03-28","cited_by_count":3,"area":null},{"id":"2203.07078","title":"A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks","created":"2022-03-11","cited_by_count":3,"area":null},{"id":"2211.16187","title":"Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks","created":"2022-11-29","cited_by_count":3,"area":null},{"id":"2303.06516","title":"Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation","created":"2023-03-11","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":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2,"area":null},{"id":"2201.03413","title":"Systems Challenges for Trustworthy Embodied Systems","created":"2022-01-10","cited_by_count":2,"area":null},{"id":"2203.05704","title":"Deep Binary Reinforcement Learning for Scalable Verification","created":"2022-03-11","cited_by_count":2,"area":null},{"id":"2207.04231","title":"CEG4N: Counter-Example Guided Neural Network Quantization Refinement","created":"2022-07-09","cited_by_count":2,"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":"2205.05793","title":"Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits","created":"2022-05-11","cited_by_count":1,"area":null},{"id":"2207.06755","title":"Verification of Sigmoidal Artificial Neural Networks using iSAT","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2304.00813","title":"Model-Agnostic Reachability Analysis on Deep Neural Networks","created":"2023-04-03","cited_by_count":1,"area":null},{"id":"2308.04161","title":"Current and Future Challenges in Knowledge Representation and Reasoning","created":"2023-08-08","cited_by_count":1,"area":null},{"id":"2312.10436","title":"Decomposing Hard SAT Instances with Metaheuristic Optimization","created":"2023-12-16","cited_by_count":1,"area":null},{"id":"2405.17049","title":"Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization","created":"2024-05-27","cited_by_count":1,"area":null},{"id":"2505.09640","title":"Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms","created":"2025-05-06","cited_by_count":1,"area":null},{"id":"2512.23769","title":"Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations","created":"2025-12-29","cited_by_count":1,"area":null},{"id":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","cited_by_count":0,"area":null},{"id":"2206.04833","title":"Training Neural Networks using SAT solvers","created":"2022-06-10","cited_by_count":0,"area":null},{"id":"2206.11539","title":"A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2206.11562","title":"A Geometric Method for Improved Uncertainty Estimation in Real-time","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2301.04452","title":"Uncertainty Estimation based on Geometric Separation","created":"2023-01-11","cited_by_count":0,"area":null},{"id":"2303.14464","title":"Verifying Properties of Tsetlin Machines","created":"2023-03-25","cited_by_count":0,"area":null},{"id":"2306.05211","title":"Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks","created":"2023-06-08","cited_by_count":0,"area":null},{"id":"2306.17323","title":"Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2307.15907","title":"An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks","created":"2023-07-29","cited_by_count":0,"area":null},{"id":"2310.03033","title":"Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition","created":"2023-09-25","cited_by_count":0,"area":null},{"id":"2312.10842","title":"Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems","created":"2023-12-17","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2409.16726","title":"Formal Local Implication Between Two Neural Networks","created":"2024-09-25","cited_by_count":0,"area":null},{"id":"2501.17834","title":"Hierarchical Fallback Architecture for High Risk Online Machine Learning Inference","created":"2025-01-29","cited_by_count":0,"area":null},{"id":"2506.04268","title":"MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression","created":"2025-06-03","cited_by_count":0,"area":null},{"id":"2507.02916","title":"Efficient Certified Reasoning for Binarized Neural Networks","created":"2025-06-25","cited_by_count":0,"area":null},{"id":"2510.01525","title":"On Integer Programming for the Binarized Neural Network Verification Problem","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2511.07741","title":"Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement","created":"2025-11-11","cited_by_count":0,"area":"safety"},{"id":"2603.05677","title":"Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks","created":"2026-03-05","cited_by_count":0,"area":null},{"id":"2604.17967","title":"A Sugeno Integral View of Binarized Neural Network Inference","created":"2026-04-20","cited_by_count":0,"area":null},{"id":"2606.18918","title":"Some Complexity Results for Robustness Verification for Binarized Neural Networks","created":"2026-06-17","cited_by_count":0,"area":null}],"next_cursor":null}