机器学习的 IEEE SA P3109 算术格式的新颖之处

IEEE P3109 草案标准定义了一系列参数化的二进制浮点格式和相关操作，重点是促进机器学习。这些格式允许以少量位有效且一致地表示值。定义的格式通过宽度和位精度、符号以及无穷大的存在进行参数化。运算是通过将浮点值解码为封闭扩展实数集来定义的：用正无穷大和负无穷大以及 NaN（非数字）增强的实数。对 NaN 和无限操作数的显式处理可确保在操作定义中仅调用实数算术。定义了广泛的舍入和饱和模式；包括随机舍入。操作无异常，可加速吞吐量，异常情况通过返回值（例如 NaN）进行传达。对共享公共比例因子的值块的操作是根据底层操作以统一的方式定义的。系统供应商可以通过一种新颖的尺度不变测量来描述近似实现，类似于最后一位的单位，称为 kappa 近似。标准函数定义和各种其他属性是使用正式规范进行机械验证和生成的。