POPQORN

swMATH42702MaRDI QIDQ1351995FDOQ1351995

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/1905.07387

Source code repository: https://github.com/ZhaoyangLyu/POPQORN

Cited In (13)

• DiffRNN
• MiniLM
• DeepGauge
• NeuroDiff
• ReluDiff
• DiffRNN: differential verification of recurrent neural networks
• SHRAD
• Verasco
• Marabou
• Reluplex
• AI2
• DL2
• SafetyKit

This page was built for software: POPQORN