| 2025 | A Generic Modulo-(2 Saeid Gorgin, Amirhossein Sadr, Dara Rahmati, Jungrae Kim |
| 2025 | An Empirical Study of Microscaling Formats for Low-Precision LLM Training. Hanmei Yang, Summer Deng, Amit Nagpal, Maxim Naumov, Mohammad Janani, Tongping Liu, Hui Guan |
| 2025 | Correct Rounding in Double Extended Precision. Sélène Corbineau, Paul Zimmermann |
| 2025 | Double-Word Decomposition in a Combined FP16, BF16 and FP32 Dot Product Add Operator. Orégane Desrentes, Benoît Dupont de Dinechin, Florent de Dinechin |
| 2025 | Evaluation of Bfloat16, Posit, and Takum Arithmetics in Sparse Linear Solvers. Laslo Hunhold, James Quinlan |
| 2025 | Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries. Jackson Vanover, James Demmel, Xiaoye Sherry Li, Cindy Rubio-González |
| 2025 | Experimental Software and Hardware Evaluation of Ad-Hoc Constant Division Routines. Frédéric Pétrot |
| 2025 | Fast Basecases for Arbitrary-Size Multiplication. Albin Ahlback, Fredrik Johansson |
| 2025 | FastTwoSum revisited. Claude-Pierre Jeannerod, Paul Zimmermann |
| 2025 | Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning. Christoph M. Wintersteiger |
| 2025 | Hardware Fixed-Point 2D and 3D norms. Romain Bouarah, Florent de Dinechin |
| 2025 | Hardware-Aware Training for Multiplierless Convolutional Neural Networks. Rémi Garcia, Léo Pradels, Silviu-Ioan Filip, Olivier Sentieys |
| 2025 | IEEE 32nd Symposium on Computer Arithmetic, ARITH 2025, El Paso, TX, USA, May 4-7, 2025 |
| 2025 | Implementation Evaluation of Fixed-Point Multipliers for Complex Numbers. Per Larsson-Edefors, Erik Börjeson |
| 2025 | Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging. Bhargav Kulkarni, Pavel Panchekha |
| 2025 | On Stochastic Rounding with Few Random Bits. Andrew W. Fitzgibbon, Stephen Felix |
| 2025 | On the Flop and Flap Counts of the 2, 8-Split-Radix FFT. Paul Caprioli |
| 2025 | Range Extension with Supernormals for Mixed-Precision 8-bit DNN Training. Shing Wai Pun, Bozhang Bao, Silviu-Ioan Filip, Guy Lemieux, John V. Kim, Nazar Misyats, Nirvik Pande, Victor Ravain, Robert Sherrick |
| 2025 | Rigorous Error Analysis for Logarithmic Number Systems. Thanh Son Nguyen, Alexey Solovyev, Mark G. Arnold, Ganesh Gopalakrishnan |
| 2025 | Robust, End-to-end Correctness Proofs of Industrial Divide and Square Root RTL Designs. Sol Swords, Cuong Chau |
| 2025 | Rounding Error Statistics as Numerics Signature. Ping Tak Peter Tang |
| 2025 | Trailing-Ones Anticipation for Reducing the Latency of the Rounding Incrementer in FP FMA Units. Toru Koizumi, Ryota Shioya, Takuya Yamauchi, Tomoya Adachi, Ken Namura, Jun Makino |
| 2025 | VEXP: A Low-Cost RISC-V ISA Extension for Accelerated Softmax Computation in Transformers. Run Wang, Gamze Islamoglu, Andrea Belano, Viviane Potocnik, Francesco Conti, Angelo Garofalo, Luca Benini |