Reserved Area
Home
Talks
About and Contact
InfoBlender
HASLab Seminar
(email)
recurrent neural networks
Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors
2/7/2018
By
Prof. Meng Sun
, Peking University, China.
Read more