Don't have Telegram yet? Try it now!
https://hgpu.org/?p=19031
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA