Geonho Hwang, Wonyeol Lee, Yeachan Park, Sejun Park, Feras Saad: Floating-Point Neural Networks are Provably Robust Universal Approximators. CAV (2) 2025: 301-326