{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JYCFSU4K3YCLWL5BP22LENWBQ7","short_pith_number":"pith:JYCFSU4K","schema_version":"1.0","canonical_sha256":"4e0459538ade04bb2fa17eb4b236c187cc587556be3d8dc29da6f77f02042bc1","source":{"kind":"arxiv","id":"2305.10599","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2305.10599","created_at":"2026-07-05T06:39:53.693323+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.10599v2","created_at":"2026-07-05T06:39:53.693323+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.10599","created_at":"2026-07-05T06:39:53.693323+00:00"},{"alias_kind":"pith_short_12","alias_value":"JYCFSU4K3YCL","created_at":"2026-07-05T06:39:53.693323+00:00"},{"alias_kind":"pith_short_16","alias_value":"JYCFSU4K3YCLWL5B","created_at":"2026-07-05T06:39:53.693323+00:00"},{"alias_kind":"pith_short_8","alias_value":"JYCFSU4K","created_at":"2026-07-05T06:39:53.693323+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/JYCFSU4K3YCLWL5BP22LENWBQ7","json":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7.json","graph_json":"https://pith.science/api/pith-number/JYCFSU4K3YCLWL5BP22LENWBQ7/graph.json","events_json":"https://pith.science/api/pith-number/JYCFSU4K3YCLWL5BP22LENWBQ7/events.json","paper":"https://pith.science/paper/JYCFSU4K"},"agent_actions":{"view_html":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7","download_json":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7.json","view_paper":"https://pith.science/paper/JYCFSU4K","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.10599&json=true","fetch_graph":"https://pith.science/api/pith-number/JYCFSU4K3YCLWL5BP22LENWBQ7/graph.json","fetch_events":"https://pith.science/api/pith-number/JYCFSU4K3YCLWL5BP22LENWBQ7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/action/storage_attestation","attest_author":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/action/author_attestation","sign_citation":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/action/citation_signature","submit_replication":"https://pith.science/pith/JYCFSU4K3YCLWL5BP22LENWBQ7/action/replication_record"}},"created_at":"2026-07-05T06:39:53.693323+00:00","updated_at":"2026-07-05T06:39:53.693323+00:00"}