Export Citations
1 Results for: Author: Yang, Chenglong
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,765,681 records)|Limit your search to The ACM Full-Text Collection (758,510 records)
- research-articleSeptember 2024
Efficient verification of neural networks based on neuron branching and LP abstraction
AbstractWith the rapid development and wide application of neural networks in various domains including safety-critical systems, it is more and more important to investigate formal methods to provide strict guarantees on their behavior. As formal ...