1 citations · 2 across the 3 of their papers we have counts for
4 papers
Expediting Neural Network Verification via Network Reduction
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
A wide range of verification methods have been proposed to verify the safety properties of deep neural networks ensuring that the networks function correctly in critical applicatio…
Scalable and Modular Robustness Analysis of Deep Neural Networks
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo +2
As neural networks are trained to be deeper and larger, the scalability of neural network analyzers is urgently required. The main technical insight of our method is modularly anal…
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo +1
The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs. At present, one of its bigge…
Automated Mutual Explicit Induction Proof in Separation Logic
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo +1
We present a sequent-based deductive system for automatically proving entailments in separation logic by using mathematical induction. Our technique, called mutual explicit inducti…