Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana proposed a method for the formal security analysis of neural networks using symbolic intervals in 2018.

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)

• artificial neural networks concept