{"slug": "novel-aspects-of-ieee-sa-p3109-arithmetic-formats-for-machine-learning", "title": "Novel Aspects of IEEE SA P3109 Arithmetic Formats for Machine Learning", "summary": "The IEEE P3109 draft standard defines a new family of parameterized binary floating-point formats designed for machine learning, allowing efficient value representation in few bits with adjustable width, precision, signedness, and infinities. The standard introduces exception-free operations with stochastic rounding and a novel scale-invariant approximation measure called kappa-approximation, enabling system vendors to describe approximate implementations. These formats aim to accelerate throughput by eliminating exceptions and communicating exceptional situations through return values like NaN.", "body_md": "arXiv:2606.04028v1 Announce Type: new\nAbstract: The IEEE P3109 draft standard defines a parameterized family of binary floating-point formats and associated operations, with a focus on facilitating machine learning. These formats allow efficient and consistent representation of values in a small number of bits. The defined formats are parameterized over width and precision in bits, signedness, and the presence of infinities. Operations are defined by decoding floating-point values to the set of closed extended reals: the reals augmented with positive and negative infinity and NaN (Not a Number). Explicit treatment of NaN and infinite operands ensures that only real arithmetic is invoked in operation definitions. Extensive rounding and saturation modes are defined; stochastic rounding is included. Operations are exception-free, accelerating throughput, with exceptional situations communicated through return values, e.g., NaN. Operations on blocks of values sharing a common scale factor are defined in terms of the underlying operations in a uniform manner. System vendors may describe approximate implementations via a novel scale-invariant measure, akin to units in the last place, called kappa-approximation. Standard function definitions and various other properties are mechanically verified and generated using formal specifications.", "url": "https://wpnews.pro/news/novel-aspects-of-ieee-sa-p3109-arithmetic-formats-for-machine-learning", "canonical_source": "https://arxiv.org/abs/2606.04028", "published_at": "2026-06-04 04:00:00+00:00", "updated_at": "2026-06-04 04:36:13.333999+00:00", "lang": "en", "topics": ["machine-learning", "ai-infrastructure", "ai-chips", "neural-networks", "ai-research"], "entities": ["IEEE", "IEEE SA P3109"], "alternates": {"html": "https://wpnews.pro/news/novel-aspects-of-ieee-sa-p3109-arithmetic-formats-for-machine-learning", "markdown": "https://wpnews.pro/news/novel-aspects-of-ieee-sa-p3109-arithmetic-formats-for-machine-learning.md", "text": "https://wpnews.pro/news/novel-aspects-of-ieee-sa-p3109-arithmetic-formats-for-machine-learning.txt", "jsonld": "https://wpnews.pro/news/novel-aspects-of-ieee-sa-p3109-arithmetic-formats-for-machine-learning.jsonld"}}