Light-FP: Analyze Floating-Point Error in a Highly Condensed Approach. - Jiazhi Mi; Li Chen; Haoyu Wang; Ruixiang Gao; Hongze Zhang; Ronghong Shen; Kai Lin; You Fu; Huimin Cui (ICS, 2025)