TY  - RPRT
TI  - Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
AU  - Hansa Mohanty
AU  - Vaisakh Naduvodi Viswambharan
AU  - Deepak Narayan Gadde
PY  - 2025
DO  - 10.1109/icm66518.2025.11321329
UR  - https://arxiv.org/abs/2512.06850
ID  - 2512.06850
ER  -