LOGIC: A Coq Library for Logics. - Yichen Tao; Qinxiang Cao (SETTA, 2022)

Adaptivity Gap for Influence Maximization with Linear Threshold Model on Trees. - Yichen Tao; Shuo Wang; Kuan Yang 001 (IJTCS-FAW, 2023)

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding. - Zhongye Wang; Qinxiang Cao; Yichen Tao (CoRR, 2023)

A Complete Landscape for the Price of Envy-Freeness. - Zihao Li 002; Shengxin Liu; Xinhang Lu; Biaoshuai Tao; Yichen Tao (AAMAS, 2024)

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding. - Zhongye Wang; Qinxiang Cao; Yichen Tao (J. Autom. Reason., 2024)