{"total":16,"rows":[{"id":"2506.08505","title":"Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations","created":"2025-06-10","cited_by_count":13,"area":null},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2502.19320","title":"Shh, don't say that! Domain Certification in LLMs","created":"2025-02-26","cited_by_count":7,"area":null},{"id":"2407.01295","title":"Towards Formal Verification of Deep Neural Networks for Object Detection","created":"2024-07-01","cited_by_count":4,"area":null},{"id":"2501.15693","title":"Beyond Benchmarks: On The False Promise of AI Regulation","created":"2025-01-26","cited_by_count":4,"area":null},{"id":"2511.08198","title":"Proof Minimization in Neural Network Verification","created":"2025-11-11","cited_by_count":4,"area":null},{"id":"2503.12083","title":"PICID: Proof-Driven Clause Learning in Neural Network Verification","created":"2025-03-15","cited_by_count":3,"area":null},{"id":"2510.03969","title":"How Catastrophic is Your LLM? Certifying Risk in Conversation","created":"2025-10-04","cited_by_count":2,"area":null},{"id":"2510.23389","title":"Floating-Point Neural Network Verification at the Software Level","created":"2025-10-27","cited_by_count":2,"area":null},{"id":"2512.05439","title":"BEAVER: An Efficient Deterministic LLM Verifier","created":"2025-12-05","cited_by_count":2,"area":null},{"id":"2605.16407","title":"Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture","created":"2026-05-13","cited_by_count":2,"area":null},{"id":"2505.00466","title":"A General Framework for Property-Driven Machine Learning","created":"2025-05-01","cited_by_count":1,"area":null},{"id":"2604.18882","title":"Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline","created":"2026-04-20","cited_by_count":1,"area":null},{"id":"2410.22730","title":"Extensional Properties of Recurrent Neural Networks","created":"2024-10-30","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":"2608.17070","title":"Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees","created":"2026-08-17","cited_by_count":0,"area":null}],"next_cursor":null}