arXiv:2603. 13334v4 Announce Type: replace Abstract: Lipschitz-based robustness certification bounds a network's sensitivity through concrete numerical computation rather than symbolic reasoning, and so scales efficiently.
By Toby Murray
arXiv:2606. 09686v1 Announce Type: cross Abstract: Numeric format proliferation in machine learning hardware -- FP8 (E4M3 and E5M2), BF16, MXFP4, microscaling block formats, and dozens of research variants -- has outpaced the availability of vendor-neutral, bit-exact reference material.
By Dmitrii Vasilev
The paper introduces the Golden Ruler, a catalog of 109 numeric formats for machine learning hardware, including FP8, BF16, MXFP4, and microscaling block formats. It provides six bit‑exact conformance packs that map to IEEE P3109 v3.2.0 standards, each as a self‑contained JSON document with a SHA‑256 fingerprint and an anchor vector for cross‑pack sanity checks. The work cross‑validates these packs against ml_dtypes 0.5.4 and documents any divergences as spec‑permitted gaps, offering a vendor‑neutral reference for engineers.
By Dmitrii Vasilev
arXiv:2606. 00312v1 Announce Type: cross Abstract: Over the past half-dozen years, stochastic rounding (SR) has regained significant attention as a quantization scheme for low-precision floating-point arithmetic, with applications spanning numerical analysis and modern machine learning systems.
By Linkai Ma, Tingzhou Yu, Petros Drineas
arXiv:2505. 01043v2 Announce Type: replace Abstract: Large language models (LLMs) have achieved impressive performance across various domains.
By Zhiwei Hao, Jianyuan Guo, Li Shen, Yong Luo, Han Hu, Guoxia Wang, Dianhai Yu, Yonggang Wen, Dacheng Tao
arXiv:2606. 04115v1 Announce Type: cross Abstract: Quantizing large language models (LLMs) to low-precision floating-point representations is central to efficient deployment, yet applying a single bit-width uniformly across all layers is sub-optimal in terms of both performance and accuracy.
By Giuseppe Franco, Ian Colbert, Pablo Monteagudo-Lago, Felix Marty, Nicholas Fraser