Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Documenti analoghi

• Compiling High-Level Neural Network Specifications into VNN-LIB Queries
  di: Daggitt, Matthew L., et al.
  Pubblicazione: (2024)
• Proof-Carrying Neuro-Symbolic Code
  di: Komendantskaya, Ekaterina
  Pubblicazione: (2025)
• NLP Verification: Towards a General Methodology for Certifying Robustness
  di: Casadio, Marco, et al.
  Pubblicazione: (2024)
• A Semantic Proof of Generalised Cut Elimination for Deep Inference
  di: Atkey, Robert, et al.
  Pubblicazione: (2024)
• Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
  di: Zhang, Xin, et al.
  Pubblicazione: (2024)