Slimmer Formal Proofs for Mathematical Libraries. - Paul Geneau de Lamarlière; Guillaume Melquiond; Florian Faissole (ARITH, 2023)

End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation. - Florian Faissole; Paul Geneau de Lamarlière; Guillaume Melquiond (ITP, 2024)

CoqInterval. - Paul Geneau de Lamarlière; Guillaume Melquiond (DROPS Artifacts, 2024)