Publications HAL du projet ANR. ANR-24-CE46-7572

2026

Journal articles

ref_biblio
El-Mehdi El Arar, Silviu-Ioan Filip, Theo Mary, Elisa Riccietti. Mixed precision accumulation for neural network inference guided by componentwise forward error analysis. IMA Journal of Numerical Analysis, In press. ⟨hal-04995708v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04995708/file/main.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Guangping Yu, Stef Graillat, Hao Jiang, Chun Huang, Tao Tang. A Compensated Estrin Scheme for Accurate Polynomial Evaluation. 2026. ⟨hal-05580898⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-05580898/file/A_Compensated_Estrin_Scheme_for_Accurate_Polynomial_Evaluation_ARITH26_-3.pdf BibTex
ref_biblio
Lisa Taldir, Muhammad Ahmad Saeed, David Defour, Pablo de Oliveira Castro, Eric Petit. Benchmarking Large Language Models on Floating-Point Error Classification. 2026. ⟨hal-05560550⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05560550/file/Benchmarking_LLMs_on_Floating-Point_Error_Classification.pdf BibTex
ref_biblio
El-Mehdi El Arar, Massimiliano Fasi, Silviu-Ioan Filip, Mantas Mikaitis. Limited-Precision Stochastic Rounding. 2026. ⟨hal-05554662⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05554662/file/2603.06060v1.pdf BibTex
ref_biblio
Yizhi Yang, David Defour, Stef Graillat, Fabienne Jézéquel. Optimization of the representation of results in interval arithmetic. 2026. ⟨hal-05514405⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-05514405/file/Optimization_of_interval_arithmetic-3.pdf BibTex
ref_biblio
Mykhailo Havdiak, Oliver Lagerqvist, Stef Graillat, Roman Iakymchuk. Reproducible Power Method for Computing Dominant Eigenvalue and Eigenvector. 2026. ⟨hal-05269522v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05269522/file/PDP_power_method-final.pdf BibTex
ref_biblio
Stef Graillat. Verifying zeros of interval polynomials. 2026. ⟨hal-05447053⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05447053/file/Verifying.pdf BibTex
ref_biblio
El-Mehdi El Arar, Massimiliano Fasi, Silviu-Ioan Filip, Mantas Mikaitis. Probabilistic Error Analysis of Limited-Precision Stochastic Rounding: Horner's Algorithm and Pairwise Summation. 2026. ⟨hal-05561674⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05561674/file/main.pdf BibTex

2025

Journal articles

ref_biblio
Pablo de Oliveira Castro, El-Mehdi El Arar, Eric Petit, Devan Sohier. Error Analysis of Sum-Product Algorithms under Stochastic Rounding. SIAM Journal on Scientific Computing, 2025, 47 (6), pp.B1481--B1502. ⟨10.1137/24M1710966⟩. ⟨hal-04787542v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04787542/file/main.pdf BibTex

Habilitation à diriger des recherches

ref_biblio
Theo Mary. Approximate computing in numerical linear algebra: algorithms, analysis, and applications. Computer Arithmetic. Sorbonne Université, 2025. ⟨tel-05326894⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-05326894/file/hdr.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Ani Anciaux-Sedrakian, Hugo Dorfsman, Thomas Guignon, Fabienne Jézéquel, Theo Mary. Mixed Precision Strategies for Solving Sparse Linear Systems with BiCGStab. 2025. ⟨hal-05326901⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05326901/file/main.pdf BibTex