{"total":33,"rows":[{"id":"2103.13630","title":"A Survey of Quantization Methods for Efficient Neural Network Inference","created":"2021-03-25","cited_by_count":815,"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":"2306.13867","title":"Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems","created":"2023-06-24","cited_by_count":28,"area":null},{"id":"2105.09750","title":"Anchor-based Plain Net for Mobile Image Super-Resolution","created":"2021-05-20","cited_by_count":24,"area":null},{"id":"2305.05172","title":"Logic for Explainable AI","created":"2023-05-09","cited_by_count":23,"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":"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":"2312.12679","title":"Towards Efficient Verification of Quantized Neural Networks","created":"2023-12-20","cited_by_count":11,"area":null},{"id":"2510.21599","title":"SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism","created":"2025-10-24","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":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","cited_by_count":7,"area":null},{"id":"2312.11831","title":"Locally-Minimal Probabilistic Explanations","created":"2023-12-19","cited_by_count":6,"area":null},{"id":"2206.12963","title":"Self-Healing Robust Neural Networks via Closed-Loop Control","created":"2022-06-26","cited_by_count":5,"area":null},{"id":"2110.11382","title":"Efficient and Robust Mixed-Integer Optimization Methods for Training Binarized Deep Neural Networks","created":"2021-10-21","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":"2505.19932","title":"Logic Gate Neural Networks are Good for Verification","created":"2025-05-26","cited_by_count":4,"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":"2305.03626","title":"Verifiable Learning for Robust Tree Ensembles","created":"2023-05-05","cited_by_count":3,"area":null},{"id":"2203.05704","title":"Deep Binary Reinforcement Learning for Scalable Verification","created":"2022-03-11","cited_by_count":2,"area":null},{"id":"2304.11237","title":"Effective Neural Network $L_0$ Regularization With BinMask","created":"2023-04-21","cited_by_count":2,"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":"2303.14464","title":"Verifying Properties of Tsetlin Machines","created":"2023-03-25","cited_by_count":0,"area":null},{"id":"2306.02639","title":"Evaluating robustness of support vector machines with the Lagrangian dual approach","created":"2023-06-05","cited_by_count":0,"area":null},{"id":"2402.14988","title":"Verifiable Boosted Tree Ensembles","created":"2024-02-22","cited_by_count":0,"area":null},{"id":"2409.11454","title":"Golden Ratio Search: A Low-Power Adversarial Attack for Deep Learning based Modulation Classification","created":"2024-09-17","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":"2610.01282","title":"Trustworthy Data- and ML-Ops for Intelligent Transportation Systems and Logistics","created":"2026-10-01","cited_by_count":0,"area":null}],"next_cursor":null}