2 citations · 2 across the 6 of their papers we have counts for
7 papers
Benchmarking Large Language Models on Floating-Point Error Classification
Lisa Taldir, Muhammad Ahmad Saeed, David Defour +2
This paper investigates the capability of Large Language Models (LLMs) to detect and classify floating-point errors statically in software code. We introduce InterFLOPBench, a benc…
The Positive Effects of Stochastic Rounding in Numerical Algorithms
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro +1
Recently, stochastic rounding (SR) has been implemented in specialized hardware but most current computing nodes do not yet support this rounding mode. Several works empirically il…
Stochastic rounding variance and probabilistic bounds: A new approach
El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro +1
Stochastic rounding (SR) offers an alternative to the deterministic IEEE-754 floating-point rounding modes. In some applications such as PDEs, ODEs and neural networks, SR empirica…
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization
David Defour, Pablo de Oliveira Castro, Matei Istoan +1
The typical processors used for scientific computing have fixed-width data-paths. This implies that mathematical libraries were specifically developed to target each of these fixed…
Comparing Perturbation Models for Evaluating Stability of Neuroimaging Pipelines
Gregory Kiar, Pablo de Oliveira Castro, Pierre Rioux +4
A lack of software reproducibility has become increasingly apparent in the last several years, calling into question the validity of scientific findings affected by published tools…
Confidence Intervals for Stochastic Arithmetic
Devan Sohier, Pablo de Oliveira Castro, François Févotte +3
Quantifying errors and losses due to the use of Floating-Point (FP) calculations in industrial scientific computing codes is an important part of the Verification, Validation and U…
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic
Christophe Denis, Pablo De Oliveira Castro, Eric Petit
Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue wit…