FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean

Tung-Che Chang, Sehyeok Park, Jay P Lim +1

The upcoming IEEE-P3109 standard for low-precision floating-point arithmetic can become the foundation of future machine learning hardware and software. Unlike IEEE-754, P3109 intr…