mlsanityData to 14 Oct 2026

Proof-Carrying Neuro-Symbolic Code

arXiv 2504.12031 ↗First posted 16 Apr 2025cs.PL cs.AI cs.LOcited by 1

Not on the map. Why?

Abstract (arXiv)

This invited paper introduces the concept of "proof-carrying neuro-symbolic code" and explains its meaning and value, from both the "neural" and the "symbolic" perspectives. The talk outlines the first successes and challenges that this new area of research faces.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 27 of its 58 references that are in the map. First posted on arXiv 16 Apr 2025.

Builds on

27 of 58 references.

References · 27

  1. 2013Intriguing properties of neural networkscited by 5,155
  2. 2021Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verificationcited by 228
  3. 2024Marabou 2.0: A Versatile Formal Analyzer of Neural Networkscited by 81
  4. 2024Formal Mathematical Reasoning: A New Frontier in AIcited by 81
  5. 2022Deep Learning with Logical Constraintscited by 44
  6. 2020Exploiting Verified Neural Networks via Floating Point Numerical Errorcited by 35
  7. 2021Neural Network Robustness as a Verification Property: A Principled Case Studycited by 35
  8. 2022Neural Network Verification with Proof Productioncited by 22
  9. 2024Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificatescited by 16
  10. 2023Logic of Differentiable Logics: Towards a Uniform Semantics of DLcited by 15
  11. 2024Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programscited by 14
  12. 2025Neural Network Verification is a Programming Language Challengecited by 12
15 more
  1. 2024Stochastic Omega-Regular Verification and Control with Supermartingalescited by 11
  2. 2022CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustnesscited by 9
  3. 2024Provably Safe Neural Network Controllers via Differential Dynamic Logiccited by 7
  4. 2024A Certified Proof Checker for Deep Neural Network Verification in Imandracited by 7
  5. 2024Comparing differentiable logics for learning with logical constraintscited by 7
  6. 2024Neural Continuous-Time Supermartingale Certificatescited by 5
  7. 2020The Imandra Automated Reasoning System (system description)cited by 4
  8. 2013Proof-Pattern Recognition and Lemma Discovery in ACL2cited by 3
  9. 2023Propositional Logics for the Lawvere Quantalecited by 3
  10. 2024Compiling High-Level Neural Network Specifications into VNN-LIB Queriescited by 3
  11. 2024Taming Differentiable Logics with Coq Formalisationcited by 3
  12. 2022Measure Construction by Extension in Dependent Type Theory with Application to Integrationcited by 2
  13. 2024On Quantifiers for Quantitative Reasoningcited by 2
  14. 2021Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verificationcited by 1
  15. 2024A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coqcited by 1

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.

  1. 2026Proof-Carrying Materials: Falsifiable Safety Certificates for Machine-Learned Interatomic Potentialscited by 1