{"total":23,"rows":[{"id":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2405.03658","title":"A review on data-driven constitutive laws for solids","created":"2024-05-06","cited_by_count":35,"area":null},{"id":"2208.10605","title":"SoK: Explainable Machine Learning for Computer Security Applications","created":"2022-08-22","cited_by_count":20,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2203.07505","title":"Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems","created":"2022-03-14","cited_by_count":9,"area":null},{"id":"2110.03726","title":"Bisimulations for Neural Network Reduction","created":"2021-10-07","cited_by_count":6,"area":null},{"id":"2212.08578","title":"Provable Fairness for Neural Network Models using Formal Verification","created":"2022-12-16","cited_by_count":6,"area":null},{"id":"2201.00655","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","created":"2021-12-31","cited_by_count":5,"area":null},{"id":"2304.10558","title":"Using Z3 for Formal Modeling and Verification of FNN Global Robustness","created":"2023-04-20","cited_by_count":5,"area":null},{"id":"2111.14142","title":"Agility in Software 2.0 -- Notebook Interfaces and MLOps with Buttresses and Rebars","created":"2021-11-28","cited_by_count":4,"area":null},{"id":"2602.22631","title":"TorchLean: Formalizing Neural Networks in Lean","created":"2026-02-26","cited_by_count":4,"area":null},{"id":"2111.07683","title":"Reachability analysis of neural networks using mixed monotonicity","created":"2021-11-15","cited_by_count":3,"area":null},{"id":"2103.05142","title":"Formal Verification of Stochastic Systems with ReLU Neural Network Controllers","created":"2021-03-08","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":"2103.03472","title":"A Novel Framework for Threat Analysis of Machine Learning-based Smart Healthcare Systems","created":"2021-03-05","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":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","cited_by_count":0,"area":null},{"id":"2205.01419","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","created":"2022-05-03","cited_by_count":0,"area":null},{"id":"2209.09932","title":"Comparative analysis of real bugs in open-source Machine Learning projects -- A Registered Report","created":"2022-09-20","cited_by_count":0,"area":null},{"id":"2303.07917","title":"Reachability Analysis of Neural Networks with Uncertain Parameters","created":"2023-03-14","cited_by_count":0,"area":null},{"id":"2409.19120","title":"Secure Multiparty Generative AI","created":"2024-09-27","cited_by_count":0,"area":null},{"id":"2412.16762","title":"A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System","created":"2024-12-21","cited_by_count":0,"area":null},{"id":"2607.03634","title":"The Role of Rigor in Artificial Intelligence","created":"2026-05-19","cited_by_count":0,"area":null}],"next_cursor":null}