EasyChair Smart SlideDocs/Log in
Author: Jiangchao Liu

This page shows all presentations of this author published in EasyChair Smart Slide.

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang and Lijun Zhang

Verifying Numerical Programs via Iterative Abstract Testing

Verifying Numerical Programs via Iterative Abstract Testing

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair