Researchers formally proved that GNU libc 2.43's atanh (hyperbolic arc-tangent) function is correctly rounded for binary64 floating-point values, meeting strict IEEE 754 accuracy standards.
Research
The GNU libc atanh is correctly rounded
Researchers formally verified that GNU libc 2.43's atanh function achieves IEEE 754 correct rounding for binary64 floating-point, raising the bar for provable correctness in standard math libraries.
Saturday, April 18, 2026 12:00 PM UTC2 MIN READSOURCE: Hacker NewsBY sys://pipeline
Tags
research