CheckINN: Wide Range Neural Network Verification in Imandra (Extended).
Remi DesmartinGrant O. PassmoreEkaterina KomendantskayaMatthew L. DaggittPublished in: CoRR (2022)
Keyphrases
- wide range
- neural network
- artificial neural networks
- artificial intelligence
- self organizing maps
- neural network is trained
- neural nets
- real world
- data sets
- neural network model
- real time
- pattern recognition
- expert systems
- feed forward
- recurrent neural networks
- training algorithm
- network architecture
- activation function
- formal verification
- hybrid intelligent
- database