{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T06:40:08Z","timestamp":1751092808671,"version":"3.41.0"},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:00:00Z","timestamp":1746316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T00:00:00Z","timestamp":1746316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,4]]},"DOI":"10.1109\/arith64983.2025.00032","type":"proceedings-article","created":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T17:40:13Z","timestamp":1750959613000},"page":"157-160","source":"Crossref","is-referenced-by-count":0,"title":["Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning"],"prefix":"10.1109","author":[{"given":"Christoph M.","family":"Wintersteiger","sequence":"first","affiliation":[{"name":"Imandra Inc"}]}],"member":"263","reference":[{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.24710"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48256-3_9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_4"},{"key":"ref6","article-title":"A Formal Model of IEEE Floating Point Arithmetic","author":"Yu","year":"2024","journal-title":"Archive of Formal Proofs"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(86)90015-4"},{"volume-title":"Computer Arithmetic and Formal Proofs","year":"2017","author":"Boldo","key":"ref8"},{"key":"ref9","article-title":"The SMT-LIB Standard: Version 2.6","volume-title":"Department of Computer Science","author":"Barrett","year":"2017"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"}],"event":{"name":"2025 IEEE 32nd Symposium on Computer Arithmetic (ARITH)","start":{"date-parts":[[2025,5,4]]},"location":"El Paso, TX, USA","end":{"date-parts":[[2025,5,7]]}},"container-title":["2025 IEEE 32nd Symposium on Computer Arithmetic (ARITH)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11037935\/11038025\/11038129.pdf?arnumber=11038129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T06:15:11Z","timestamp":1751091311000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11038129\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/arith64983.2025.00032","relation":{},"subject":[],"published":{"date-parts":[[2025,5,4]]}}}