1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2021★ 1 cited
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…
cs.LO2017
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…