Xuan Xie, Kristian Kersting, and Daniel Neider proposed a method for the neuro-symbolic verification of deep neural networks in 2022.

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)

• deep neural networks concept