{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JYCFSU4K3YCLWL5BP22LENWBQ7","short_pith_number":"pith:JYCFSU4K","canonical_record":{"source":{"id":"2305.10599","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-05-17T22:43:29Z","cross_cats_sorted":["cs.NA","cs.PL","math.NA"],"title_canon_sha256":"cb2bdd21cf9258c6f9125203a587d67b8eeb953d8ab10c07e3cd5e2bd2b5804a","abstract_canon_sha256":"8b1c86e9b36f2b3641131501c9d96fe9a51d5fecede54d2163876ef763535f3f"},"schema_version":"1.0"},"canonical_sha256":"4e0459538ade04bb2fa17eb4b236c187cc587556be3d8dc29da6f77f02042bc1","source":{"kind":"arxiv","id":"2305.10599","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.10599","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"arxiv_version","alias_value":"2305.10599v2","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10599","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"pith_short_12","alias_value":"JYCFSU4K3YCL","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"pith_short_16","alias_value":"JYCFSU4K3YCLWL5B","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"pith_short_8","alias_value":"JYCFSU4K","created_at":"2026-07-05T06:39:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JYCFSU4K3YCLWL5BP22LENWBQ7","target":"record","payload":{"canonical_record":{"source":{"id":"2305.10599","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-05-17T22:43:29Z","cross_cats_sorted":["cs.NA","cs.PL","math.NA"],"title_canon_sha256":"cb2bdd21cf9258c6f9125203a587d67b8eeb953d8ab10c07e3cd5e2bd2b5804a","abstract_canon_sha256":"8b1c86e9b36f2b3641131501c9d96fe9a51d5fecede54d2163876ef763535f3f"},"schema_version":"1.0"},"canonical_sha256":"4e0459538ade04bb2fa17eb4b236c187cc587556be3d8dc29da6f77f02042bc1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:39:53.693748Z","signature_b64":"w2sTHsxYqf0o+58f9RCyQHru7Ss3rnROAfTgAzUpaYP9Uwiq06zJ1HnBBfeP7oci8pue4+M/pOX2lHQ3JpiKCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e0459538ade04bb2fa17eb4b236c187cc587556be3d8dc29da6f77f02042bc1","last_reissued_at":"2026-07-05T06:39:53.693254Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:39:53.693254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.10599","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T06:39:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2CurmUXtHgNAZBoB1Qgp9EisXNFZavJgCA5Kamt/fXUCWOUebV0Gq0Iq+PHE8JB+/aTLiVYWVZ1nv+hnfpf1Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T01:42:47.097263Z"},"content_sha256":"1b5c75f4986c7d7332b697b15adb18f566dbd8f27b744d909db13037cb001cb9","schema_version":"1.0","event_id":"sha256:1b5c75f4986c7d7332b697b15adb18f566dbd8f27b744d909db13037cb001cb9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JYCFSU4K3YCLWL5BP22LENWBQ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.NA","cs.PL","math.NA"],"primary_cat":"cs.HC","authors_text":"Brett Saiki, Caleb C. Chan, Edward Misback, Eunice Jun, Pavel Panchekha, Zachary Tatlock","submitted_at":"2023-05-17T22:43:29Z","abstract_excerpt":"In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions. However, users struggle to effectively apply these tools. In this paper, we work with novices, experts, and tool developers to investigate user needs during the expression rewriting process. We find that users follow an iterative design process. They want to compare expressions on multiple input ranges, integrate and guide various rewriting tools and understand where errors come from. We organize this investigation's results into a three-stag"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.10599","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.10599/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T06:39:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ttLfIaU6QxbTG0cnzm6rUZYgGE2drS9REAzZNaPGfXKhWaFT9eTIZ8KmtI6JmVuZbwW9Cj9sxraBjJzl9Zn+Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T01:42:47.097649Z"},"content_sha256":"cb0141ac08e8f7f6ec4a7e7517acdff9d9cebc1359efe31b4f7fbe62177a61c1","schema_version":"1.0","event_id":"sha256:cb0141ac08e8f7f6ec4a7e7517acdff9d9cebc1359efe31b4f7fbe62177a61c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/bundle.json","state_url":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-22T01:42:47Z","links":{"resolver":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7","bundle":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/bundle.json","state":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JYCFSU4K3YCLWL5BP22LENWBQ7","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":"8b1c86e9b36f2b3641131501c9d96fe9a51d5fecede54d2163876ef763535f3f","cross_cats_sorted":["cs.NA","cs.PL","math.NA"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-05-17T22:43:29Z","title_canon_sha256":"cb2bdd21cf9258c6f9125203a587d67b8eeb953d8ab10c07e3cd5e2bd2b5804a"},"schema_version":"1.0","source":{"id":"2305.10599","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.10599","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"arxiv_version","alias_value":"2305.10599v2","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10599","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"pith_short_12","alias_value":"JYCFSU4K3YCL","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"pith_short_16","alias_value":"JYCFSU4K3YCLWL5B","created_at":"2026-07-05T06:39:53Z"},{"alias_kind":"pith_short_8","alias_value":"JYCFSU4K","created_at":"2026-07-05T06:39:53Z"}],"graph_snapshots":[{"event_id":"sha256:cb0141ac08e8f7f6ec4a7e7517acdff9d9cebc1359efe31b4f7fbe62177a61c1","target":"graph","created_at":"2026-07-05T06:39:53Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2305.10599/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In recent years, researchers have proposed a number of automated tools to identify and improve floating-point rounding error in mathematical expressions. However, users struggle to effectively apply these tools. In this paper, we work with novices, experts, and tool developers to investigate user needs during the expression rewriting process. We find that users follow an iterative design process. They want to compare expressions on multiple input ranges, integrate and guide various rewriting tools and understand where errors come from. We organize this investigation's results into a three-stag","authors_text":"Brett Saiki, Caleb C. Chan, Edward Misback, Eunice Jun, Pavel Panchekha, Zachary Tatlock","cross_cats":["cs.NA","cs.PL","math.NA"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-05-17T22:43:29Z","title":"Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.10599","kind":"arxiv","version":2},"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:1b5c75f4986c7d7332b697b15adb18f566dbd8f27b744d909db13037cb001cb9","target":"record","created_at":"2026-07-05T06:39:53Z","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":"8b1c86e9b36f2b3641131501c9d96fe9a51d5fecede54d2163876ef763535f3f","cross_cats_sorted":["cs.NA","cs.PL","math.NA"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.HC","submitted_at":"2023-05-17T22:43:29Z","title_canon_sha256":"cb2bdd21cf9258c6f9125203a587d67b8eeb953d8ab10c07e3cd5e2bd2b5804a"},"schema_version":"1.0","source":{"id":"2305.10599","kind":"arxiv","version":2}},"canonical_sha256":"4e0459538ade04bb2fa17eb4b236c187cc587556be3d8dc29da6f77f02042bc1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e0459538ade04bb2fa17eb4b236c187cc587556be3d8dc29da6f77f02042bc1","first_computed_at":"2026-07-05T06:39:53.693254Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:39:53.693254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w2sTHsxYqf0o+58f9RCyQHru7Ss3rnROAfTgAzUpaYP9Uwiq06zJ1HnBBfeP7oci8pue4+M/pOX2lHQ3JpiKCg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:39:53.693748Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.10599","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b5c75f4986c7d7332b697b15adb18f566dbd8f27b744d909db13037cb001cb9","sha256:cb0141ac08e8f7f6ec4a7e7517acdff9d9cebc1359efe31b4f7fbe62177a61c1"],"state_sha256":"c58ddcc9e737bb3d8478c46ddfbaa188d94f635824fa4fd623492eff0b6d9e8d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"piY3080G6gpCFRhU1A0Eua5h1Bqtj7R3XwkG6wbwXouMOR2V7oliuANOfW0+w4M6+Idsq6LPmBp/K26zr+4ZAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-22T01:42:47.099672Z","bundle_sha256":"447ef125820fcf0e6fb72db630ec9080b502385dabb144f265749e5894eb10b3"}}