{"total":13,"rows":[{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"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":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"area":null},{"id":"2405.10611","title":"A Certified Proof Checker for Deep Neural Network Verification in Imandra","created":"2024-05-17","cited_by_count":7,"area":null},{"id":"2402.01353","title":"Compiling High-Level Neural Network Specifications into VNN-LIB Queries","created":"2024-01-24","cited_by_count":3,"area":null},{"id":"2510.26935","title":"RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification","created":"2025-10-30","cited_by_count":2,"area":null},{"id":"2504.12031","title":"Proof-Carrying Neuro-Symbolic Code","created":"2025-04-16","cited_by_count":1,"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":"2605.07451","title":"VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification","created":"2026-05-08","cited_by_count":1,"area":null},{"id":"2405.15886","title":"A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks","created":"2024-05-24","cited_by_count":0,"area":null},{"id":"2411.04393","title":"Bridging the Gap: Representation Spaces in Neuro-Symbolic AI","created":"2024-11-07","cited_by_count":0,"area":null},{"id":"2506.12084","title":"The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification","created":"2025-06-10","cited_by_count":0,"area":null},{"id":"2605.13845","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","created":"2026-05-13","cited_by_count":0,"area":null}],"next_cursor":null}