Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning - researchr publication

researchr

You are not signed in
Sign in
Sign up

Christoph M. Wintersteiger. Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning. In IEEE 32nd Symposium on Computer Arithmetic, ARITH 2025, El Paso, TX, USA, May 4-7, 2025. pages 157-160, IEEE, 2025. [doi]

Abstract is missing.

runs on WebDSL