{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:XJ3EFXTRTC2RAO5FO4JA6HFICH","short_pith_number":"pith:XJ3EFXTR","schema_version":"1.0","canonical_sha256":"ba7642de7198b5103ba577120f1ca811feff471cf999dd9678f42ce3e780f7b2","source":{"kind":"arxiv","id":"1707.02118","version":1},"attestation_state":"computed","paper":{"title":"Sound Mixed-Precision Optimization with Rewriting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Einar Horn, Eva Darulova, Saksham Sharma","submitted_at":"2017-07-07T11:17:02Z","abstract_excerpt":"Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by different data types but also evaluation orders. To put it simply, the shorter a precision's bit-length, the larger the roundoff error will be, but the faster the program will run. Similarly, the fewer arithmetic operations the program performs, the faster it will run; however, the effect on the roundoff error is less clear-cut. Manually optimizing the efficiency of finite-precision programs while ensuring that results rem"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1707.02118","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-07-07T11:17:02Z","cross_cats_sorted":[],"title_canon_sha256":"c47ac75956d2a5a99a7a281ce902bb43e5d69978de0307cc9a2ac13a63f976ff","abstract_canon_sha256":"444bce3898d3781486f401dbe6afc0ea3bf7a961821fb08d41da0a691f7be533"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:42.876835Z","signature_b64":"iN8CvynqpmJZyV7pRBg0oS4bFcFv7jEBAA3MBZ9jyoemAfQFQM1gQVCk/SJhq5/smRnV3NIgMINA+r4D5aSMAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba7642de7198b5103ba577120f1ca811feff471cf999dd9678f42ce3e780f7b2","last_reissued_at":"2026-05-18T00:40:42.876191Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:42.876191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sound Mixed-Precision Optimization with Rewriting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Einar Horn, Eva Darulova, Saksham Sharma","submitted_at":"2017-07-07T11:17:02Z","abstract_excerpt":"Finite-precision arithmetic computations face an inherent tradeoff between accuracy and efficiency. The points in this tradeoff space are determined, among other factors, by different data types but also evaluation orders. To put it simply, the shorter a precision's bit-length, the larger the roundoff error will be, but the faster the program will run. Similarly, the fewer arithmetic operations the program performs, the faster it will run; however, the effect on the roundoff error is less clear-cut. Manually optimizing the efficiency of finite-precision programs while ensuring that results rem"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02118","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1707.02118","created_at":"2026-05-18T00:40:42.876298+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.02118v1","created_at":"2026-05-18T00:40:42.876298+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02118","created_at":"2026-05-18T00:40:42.876298+00:00"},{"alias_kind":"pith_short_12","alias_value":"XJ3EFXTRTC2R","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_16","alias_value":"XJ3EFXTRTC2RAO5F","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_8","alias_value":"XJ3EFXTR","created_at":"2026-05-18T12:31:53.515858+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH","json":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH.json","graph_json":"https://pith.science/api/pith-number/XJ3EFXTRTC2RAO5FO4JA6HFICH/graph.json","events_json":"https://pith.science/api/pith-number/XJ3EFXTRTC2RAO5FO4JA6HFICH/events.json","paper":"https://pith.science/paper/XJ3EFXTR"},"agent_actions":{"view_html":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH","download_json":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH.json","view_paper":"https://pith.science/paper/XJ3EFXTR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.02118&json=true","fetch_graph":"https://pith.science/api/pith-number/XJ3EFXTRTC2RAO5FO4JA6HFICH/graph.json","fetch_events":"https://pith.science/api/pith-number/XJ3EFXTRTC2RAO5FO4JA6HFICH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH/action/storage_attestation","attest_author":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH/action/author_attestation","sign_citation":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH/action/citation_signature","submit_replication":"https://pith.science/pith/XJ3EFXTRTC2RAO5FO4JA6HFICH/action/replication_record"}},"created_at":"2026-05-18T00:40:42.876298+00:00","updated_at":"2026-05-18T00:40:42.876298+00:00"}