Katz, Barrett, Dill, Julian, and Kochenderfer (2017) introduce Reluplex, an efficient SMT solver designed for verifying deep neural networks.

Authors

• Person: Not available Organization: Springer
  A Comprehensive Review of Neuro-symbolic AI for Robustness ...

Sources

• A Comprehensive Review of Neuro-symbolic AI for Robustness ... link.springer.com Springer via serper

Referenced by nodes (1)

• deep neural networks concept