{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:AS2YYJZRDKJ5TMXTASIGYKSXP4","short_pith_number":"pith:AS2YYJZR","schema_version":"1.0","canonical_sha256":"04b58c27311a93d9b2f304906c2a577f175f40666a7f809ffc3c4575147327d3","source":{"kind":"arxiv","id":"1805.02436","version":1},"attestation_state":"computed","paper":{"title":"Combining Tools for Optimization and Analysis of Floating-Point Computations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Eva Darulova, Heiko Becker, Pavel Pancheckha, Zachary Tatlock","submitted_at":"2018-05-07T10:52:47Z","abstract_excerpt":"Recent renewed interest in optimizing and analyzing floating-point programs has lead to a diverse array of new tools for numerical programs. These tools are often complementary, each focusing on a distinct aspect of numerical programming. Building reliable floating point applications typically requires addressing several of these aspects, which makes easy composition essential. This paper describes the composition of two recent floating-point tools: Herbie, which performs accuracy optimization, and Daisy, which performs accuracy verification. We find that the combination provides numerous bene"},"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":"1805.02436","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-07T10:52:47Z","cross_cats_sorted":[],"title_canon_sha256":"52e62e4b200a4aca596450338bfb765a56de01751d511cd87e02818670a59380","abstract_canon_sha256":"e0cfc1a130e6368756c5d8ecd8c0715c0881fb8d1bfa176a502fc0c6581d71c6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:39.909046Z","signature_b64":"SQ5KhaFcR0l9xNrTt7tPFVSHHatq6mCYJmpc5dJcbxz6DuqmbeMJHsqsUbzbVKN8pPND2iTjB7P1WLrRaXMNDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"04b58c27311a93d9b2f304906c2a577f175f40666a7f809ffc3c4575147327d3","last_reissued_at":"2026-05-18T00:16:39.908575Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:39.908575Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Combining Tools for Optimization and Analysis of Floating-Point Computations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Eva Darulova, Heiko Becker, Pavel Pancheckha, Zachary Tatlock","submitted_at":"2018-05-07T10:52:47Z","abstract_excerpt":"Recent renewed interest in optimizing and analyzing floating-point programs has lead to a diverse array of new tools for numerical programs. These tools are often complementary, each focusing on a distinct aspect of numerical programming. Building reliable floating point applications typically requires addressing several of these aspects, which makes easy composition essential. This paper describes the composition of two recent floating-point tools: Herbie, which performs accuracy optimization, and Daisy, which performs accuracy verification. We find that the combination provides numerous bene"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02436","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":"1805.02436","created_at":"2026-05-18T00:16:39.908655+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.02436v1","created_at":"2026-05-18T00:16:39.908655+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02436","created_at":"2026-05-18T00:16:39.908655+00:00"},{"alias_kind":"pith_short_12","alias_value":"AS2YYJZRDKJ5","created_at":"2026-05-18T12:32:13.499390+00:00"},{"alias_kind":"pith_short_16","alias_value":"AS2YYJZRDKJ5TMXT","created_at":"2026-05-18T12:32:13.499390+00:00"},{"alias_kind":"pith_short_8","alias_value":"AS2YYJZR","created_at":"2026-05-18T12:32:13.499390+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.04854","citing_title":"Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software","ref_index":5,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4","json":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4.json","graph_json":"https://pith.science/api/pith-number/AS2YYJZRDKJ5TMXTASIGYKSXP4/graph.json","events_json":"https://pith.science/api/pith-number/AS2YYJZRDKJ5TMXTASIGYKSXP4/events.json","paper":"https://pith.science/paper/AS2YYJZR"},"agent_actions":{"view_html":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4","download_json":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4.json","view_paper":"https://pith.science/paper/AS2YYJZR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.02436&json=true","fetch_graph":"https://pith.science/api/pith-number/AS2YYJZRDKJ5TMXTASIGYKSXP4/graph.json","fetch_events":"https://pith.science/api/pith-number/AS2YYJZRDKJ5TMXTASIGYKSXP4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4/action/storage_attestation","attest_author":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4/action/author_attestation","sign_citation":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4/action/citation_signature","submit_replication":"https://pith.science/pith/AS2YYJZRDKJ5TMXTASIGYKSXP4/action/replication_record"}},"created_at":"2026-05-18T00:16:39.908655+00:00","updated_at":"2026-05-18T00:16:39.908655+00:00"}