{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PLVFOU6P7CSN6CWU5WNF52MKNK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d69bfa676db1ea21977b24f4e33878f507b355fea78af0a464fd498d424d43f9","cross_cats_sorted":["cs.MS","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-11-26T10:30:04Z","title_canon_sha256":"d1804bd54fa8050614a13212f4b8de055643abbc174257f24283adbed7a070b7"},"schema_version":"1.0","source":{"id":"1811.10274","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.10274","created_at":"2026-05-17T23:59:56Z"},{"alias_kind":"arxiv_version","alias_value":"1811.10274v1","created_at":"2026-05-17T23:59:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.10274","created_at":"2026-05-17T23:59:56Z"},{"alias_kind":"pith_short_12","alias_value":"PLVFOU6P7CSN","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PLVFOU6P7CSN6CWU","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PLVFOU6P","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:d3fb27ce156f08e8449f9ab389350abc8f337995b363d13ac5b56479c196d00e","target":"graph","created_at":"2026-05-17T23:59:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Elementary function calls are a common feature in numerical programs. While their implementions in library functions are highly optimized, their computation is nonetheless very expensive compared to plain arithmetic. Full accuracy is, however, not always needed. Unlike arithmetic, where the performance difference between for example single and double precision floating-point arithmetic is relatively small, elementary function calls provide a much richer tradeoff space between accuracy and efficiency. Navigating this space is challenging. First, generating approximations of elementary function ","authors_text":"Anastasia Volkova, Eva Darulova","cross_cats":["cs.MS","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-11-26T10:30:04Z","title":"Sound Approximation of Programs with Elementary Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.10274","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:89c677f1762ef90f881f88b816082147945743878247357e5f1ee61aa36d2c9f","target":"record","created_at":"2026-05-17T23:59:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d69bfa676db1ea21977b24f4e33878f507b355fea78af0a464fd498d424d43f9","cross_cats_sorted":["cs.MS","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2018-11-26T10:30:04Z","title_canon_sha256":"d1804bd54fa8050614a13212f4b8de055643abbc174257f24283adbed7a070b7"},"schema_version":"1.0","source":{"id":"1811.10274","kind":"arxiv","version":1}},"canonical_sha256":"7aea5753cff8a4df0ad4ed9a5ee98a6ab8121dd1e21b7ccc7c45240f6cc372c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7aea5753cff8a4df0ad4ed9a5ee98a6ab8121dd1e21b7ccc7c45240f6cc372c6","first_computed_at":"2026-05-17T23:59:56.925589Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:56.925589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p8VnDMMKQxP5k5V2vJxNFkeeYFWWlVUvF2NBzdYtdFMvVAaM5ewH8aqf7SSFcyxpNCTZbLuwDH5ckAZhCoijBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:56.926093Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.10274","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:89c677f1762ef90f881f88b816082147945743878247357e5f1ee61aa36d2c9f","sha256:d3fb27ce156f08e8449f9ab389350abc8f337995b363d13ac5b56479c196d00e"],"state_sha256":"31cd25479feb15b31da879e4c20e7714702f95e9d6efbabd8bcbe9a78c293ffa"}