{"total":20,"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":"2305.19951","title":"Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts","created":"2023-05-31","cited_by_count":63,"area":null},{"id":"2402.12240","title":"BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts","created":"2024-02-19","cited_by_count":37,"area":null},{"id":"2406.10368","title":"A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts","created":"2024-06-14","cited_by_count":19,"area":null},{"id":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2502.11245","title":"Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens","created":"2025-02-16","cited_by_count":13,"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":"2306.04026","title":"Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory","created":"2023-06-06","cited_by_count":6,"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":"2312.08287","title":"On the verification of Embeddings using Hybrid Markov Logic","created":"2023-12-13","cited_by_count":2,"area":null},{"id":"2509.06921","title":"Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","cited_by_count":2,"area":null},{"id":"2206.04724","title":"Modular design patterns for neural-symbolic integration: refinement and combination","created":"2022-06-09","cited_by_count":1,"area":null},{"id":"2406.14265","title":"VeriFlow: Modeling Distributions for Neural Network Verification","created":"2024-06-20","cited_by_count":1,"area":null},{"id":"2601.13162","title":"NeuroShield: A Neuro-Symbolic Framework for Adversarial Robustness","created":"2026-01-19","cited_by_count":1,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","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":"2510.03320","title":"Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2607.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null}],"next_cursor":null}