Old Web
English
Sign In
Acemap
>
Paper
>
Scalable Neural Learning for Verifiable Consistency with Temporal Specifications
Scalable Neural Learning for Verifiable Consistency with Temporal Specifications
2019
Sumanth Dathathri
Johannes Welbl
Krishnamurthy Dvijotham
Ramana Kumar
Aditya Kanade
Jonathan Uesato
Sven Gowal
Po-Sen Huang
Pushmeet Kohli
Keywords:
neural learning
Scalability
Computer science
Verifiable secret sharing
Artificial intelligence
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]