A Network Coding-Based Approach to Floating-Point Sum Reduction. - Zhuoqi Tu; Yi Chen 013; Shenghao Yang 001 (ISIT, 2025)