COVID-19 Detection in Chest X-ray Images Using Swin-Transformer and Transformer in Transformer. - Juntao Jiang; Shuyi Lin 001 (CoRR, 2021)

NN4SysBench: Characterizing Neural Network Verification for Computer Systems. - Shuyi Lin 001; Haoyu He; Tianhao Wei; Kaidi Xu; Huan Zhang; Gagandeep Singh 001; Changliu Liu; Cheng Tan (NeurIPS, 2024)

Specification Generation for Neural Networks in Systems. - Isha Chaudhary; Shuyi Lin 001; Cheng Tan; Gagandeep Singh 001 (CoRR, 2024)