Kitchen Food Waste Image Segmentation and Classification for Compost Nutrients Estimation. - Raiyan Rahman; Mohsena Chowdhury; Yueyang Tang; Huayi Gao; George Yin 002; Guanghui Wang 001 (CoRR, 2024)

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. - Songlin Jia; Guannan Wei 001; Siyuan He; Yueyang Tang; Yuyan Bao; Tiark Rompf (CoRR, 2024)