Tian, Cong

4 publications

IJCAI 2025 Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement Yuehao Liu, Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian

ECCV 2024 Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-Level Optimization Perspective Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin

IJCAI 2017 Temporalising Separation Logic for Planning with Search Control Knowledge Xu Lu, Cong Tian, Zhenhua Duan

IJCAI 2016 A Decision Procedure for a Fragment of Linear Time Mu-Calculus Yao Liu, Zhenhua Duan, Cong Tian