{"total":13,"rows":[{"id":"2307.10266","title":"A DPLL(T) Framework for Verifying Deep Neural Networks","created":"2023-07-17","cited_by_count":24,"area":null},{"id":"2401.14412","title":"Harnessing Neuron Stability to Improve DNN Verification","created":"2024-01-19","cited_by_count":13,"area":null},{"id":"2210.08906","title":"A.I. Robustness: a Human-Centered Perspective on Technological Challenges and Opportunities","created":"2022-10-17","cited_by_count":9,"area":null},{"id":"2305.01932","title":"Fully Automatic Neural Network Reduction for Formal Verification","created":"2023-05-03","cited_by_count":6,"area":null},{"id":"2308.08160","title":"Benchmarking Adversarial Robustness of Compressed Deep Learning Models","created":"2023-08-16","cited_by_count":3,"area":null},{"id":"2306.13237","title":"Pruning for Better Domain Generalizability","created":"2023-06-22","cited_by_count":2,"area":null},{"id":"2407.02805","title":"Efficient DNN-Powered Software with Fair Sparse Models","created":"2024-07-03","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":"2411.14345","title":"Layer Pruning with Consensus: A Triple-Win Solution","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2506.11992","title":"Compression Aware Certified Training","created":"2025-06-13","cited_by_count":0,"area":null},{"id":"2510.00083","title":"Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks","created":"2025-09-30","cited_by_count":0,"area":null},{"id":"2510.25130","title":"Lipschitz-aware Linearity Grafting for Certified Robustness","created":"2025-10-29","cited_by_count":0,"area":null},{"id":"2601.20301","title":"Towards Compact and Robust DNNs via Compression-aware Sharpness Minimization","created":"2026-01-28","cited_by_count":0,"area":null}],"next_cursor":null}