{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:NS5VWDFJ2FLQHT5JXDWQNQ7EER","short_pith_number":"pith:NS5VWDFJ","schema_version":"1.0","canonical_sha256":"6cbb5b0ca9d15703cfa9b8ed06c3e424649a1190d337428da8ba80f382df793d","source":{"kind":"arxiv","id":"2312.08472","version":2},"attestation_state":"computed","paper":{"title":"AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NA","math.NA"],"primary_cat":"cs.NE","authors_text":"Akhil Verghese, Connal de Souza, David H. Park, Ekin Dogus Cubuk, Esteban Real, Manav Garg, Mirko Rossini, Moritz Firsching, Quoc V. Le, Yao Chen","submitted_at":"2023-12-13T19:17:43Z","abstract_excerpt":"Transcendental functions, such as the exponential, are central to scientific computing, yet they cannot be natively calculated by digital hardware. Instead, computers must approximate these functions by combining basic operations, such as $\\{+, -, \\times, \\div\\}$, using methods like Taylor series. These methods were developed over centuries by mathematicians, who focused on approaches that could attain arbitrary accuracy. However, computers can handle most applications by using only finite-precision types, like float32, where any accuracy beyond the type's precision is effectively discarded. W"},"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":"2312.08472","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2023-12-13T19:17:43Z","cross_cats_sorted":["cs.LG","cs.NA","math.NA"],"title_canon_sha256":"990345c2a49958c28d1a8baa8ef55aed9c0b1890957d33fff88f78030ed26efe","abstract_canon_sha256":"02dac1be327867f8d4bcf8153840967bd1c5e18eaea3ed75711a207888480e5c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T00:06:42.811613Z","signature_b64":"7N7uXXzd3Z8Lh1qKbduw14N9aVvGvGPDJKMzoZ8/hNZMJoyzisXh35E+fG9q5fi66krREEfQcdEiB4Ck6AQRBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6cbb5b0ca9d15703cfa9b8ed06c3e424649a1190d337428da8ba80f382df793d","last_reissued_at":"2026-06-04T00:06:42.811082Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T00:06:42.811082Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NA","math.NA"],"primary_cat":"cs.NE","authors_text":"Akhil Verghese, Connal de Souza, David H. Park, Ekin Dogus Cubuk, Esteban Real, Manav Garg, Mirko Rossini, Moritz Firsching, Quoc V. Le, Yao Chen","submitted_at":"2023-12-13T19:17:43Z","abstract_excerpt":"Transcendental functions, such as the exponential, are central to scientific computing, yet they cannot be natively calculated by digital hardware. Instead, computers must approximate these functions by combining basic operations, such as $\\{+, -, \\times, \\div\\}$, using methods like Taylor series. These methods were developed over centuries by mathematicians, who focused on approaches that could attain arbitrary accuracy. However, computers can handle most applications by using only finite-precision types, like float32, where any accuracy beyond the type's precision is effectively discarded. W"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.08472","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/2312.08472/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":"2312.08472","created_at":"2026-06-04T00:06:42.811144+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.08472v2","created_at":"2026-06-04T00:06:42.811144+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.08472","created_at":"2026-06-04T00:06:42.811144+00:00"},{"alias_kind":"pith_short_12","alias_value":"NS5VWDFJ2FLQ","created_at":"2026-06-04T00:06:42.811144+00:00"},{"alias_kind":"pith_short_16","alias_value":"NS5VWDFJ2FLQHT5J","created_at":"2026-06-04T00:06:42.811144+00:00"},{"alias_kind":"pith_short_8","alias_value":"NS5VWDFJ","created_at":"2026-06-04T00:06:42.811144+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/NS5VWDFJ2FLQHT5JXDWQNQ7EER","json":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER.json","graph_json":"https://pith.science/api/pith-number/NS5VWDFJ2FLQHT5JXDWQNQ7EER/graph.json","events_json":"https://pith.science/api/pith-number/NS5VWDFJ2FLQHT5JXDWQNQ7EER/events.json","paper":"https://pith.science/paper/NS5VWDFJ"},"agent_actions":{"view_html":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER","download_json":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER.json","view_paper":"https://pith.science/paper/NS5VWDFJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.08472&json=true","fetch_graph":"https://pith.science/api/pith-number/NS5VWDFJ2FLQHT5JXDWQNQ7EER/graph.json","fetch_events":"https://pith.science/api/pith-number/NS5VWDFJ2FLQHT5JXDWQNQ7EER/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER/action/storage_attestation","attest_author":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER/action/author_attestation","sign_citation":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER/action/citation_signature","submit_replication":"https://pith.science/pith/NS5VWDFJ2FLQHT5JXDWQNQ7EER/action/replication_record"}},"created_at":"2026-06-04T00:06:42.811144+00:00","updated_at":"2026-06-04T00:06:42.811144+00:00"}