The paper 'Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs' by Daggitt et al. (2024) discusses methods for bridging the embedding gap in the verification of neuro-symbolic programs.

Authors

• Person: Not available Organization: arXiv
  Neuro-Symbolic AI: Explainability, Challenges, and Future Trends

Sources

• Neuro-Symbolic AI: Explainability, Challenges, and Future Trends arxiv.org arXiv via serper

Referenced by nodes (1)

• neuro-symbolic systems concept