{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2N4MK2I7FYHW37C23NY472TGTN","short_pith_number":"pith:2N4MK2I7","canonical_record":{"source":{"id":"2502.15999","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-21T23:22:56Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"37ad1724b887b493b26639e62bafbe0f595d460accde4994ad4f10f6166ad4d1","abstract_canon_sha256":"6c12fab3e64855b271edd6997c637de721d89f606bf3121849406ef63537ea4d"},"schema_version":"1.0"},"canonical_sha256":"d378c5691f2e0f6dfc5adb71cfea669b7af670c62d48f094e0594cc6981ce97e","source":{"kind":"arxiv","id":"2502.15999","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.15999","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"arxiv_version","alias_value":"2502.15999v1","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.15999","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"pith_short_12","alias_value":"2N4MK2I7FYHW","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"pith_short_16","alias_value":"2N4MK2I7FYHW37C2","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"pith_short_8","alias_value":"2N4MK2I7","created_at":"2026-07-05T10:18:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2N4MK2I7FYHW37C23NY472TGTN","target":"record","payload":{"canonical_record":{"source":{"id":"2502.15999","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-21T23:22:56Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"37ad1724b887b493b26639e62bafbe0f595d460accde4994ad4f10f6166ad4d1","abstract_canon_sha256":"6c12fab3e64855b271edd6997c637de721d89f606bf3121849406ef63537ea4d"},"schema_version":"1.0"},"canonical_sha256":"d378c5691f2e0f6dfc5adb71cfea669b7af670c62d48f094e0594cc6981ce97e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:18:19.489236Z","signature_b64":"LptE1ZMQ6MZaoCBE3MM1bYy/SBmXO2RqHReLEZN9ngRnqgajAZgiKi1d/zUy0uJSQTHjqRnwQ6WlGjd465jyDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d378c5691f2e0f6dfc5adb71cfea669b7af670c62d48f094e0594cc6981ce97e","last_reissued_at":"2026-07-05T10:18:19.488790Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:18:19.488790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.15999","source_version":1,"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-05T10:18:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tu3vcVRbLgx0E22vpUrW5+h5oLB5O9JRJMdh4L8yyY94ISwKcstt0hmGAyHHe0vzNamlSUZccLOsNSqJBSHFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T12:38:25.322871Z"},"content_sha256":"d4283d668127aa732ff0581ea7ebb562a1d8460dc6ad4586376763b640a3db56","schema_version":"1.0","event_id":"sha256:d4283d668127aa732ff0581ea7ebb562a1d8460dc6ad4586376763b640a3db56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2N4MK2I7FYHW37C23NY472TGTN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"cs.AR","authors_text":"Benjamin Valpey, Ganesh Gopalakrishnan, Sreepathi Pai, Xinyi Li","submitted_at":"2025-02-21T23:22:56Z","abstract_excerpt":"Many recent computational accelerators provide non-standard (e.g., reduced precision) arithmetic operations to enhance performance for floating-point matrix multiplication. Unfortunately, the properties of these accelerators are not widely understood and lack sufficient descriptions of their behavior. This makes it difficult for tool builders beyond the original vendor to target or simulate the hardware correctly, or for algorithm designers to be confident in their code. To address these gaps, prior studies have probed the behavior of these units with manually crafted tests. Such tests are cum"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.15999","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.15999/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-05T10:18:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2kznfM3q6ECVn+oy6WEXjvsOEU4ZoaF28jJkpABdInDX7fXF9ZQdvDuJ5nAnjDkULTDKyJhD7GSpbNzGmaBYCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T12:38:25.323256Z"},"content_sha256":"25b42ffdc538fc558d7b16f6ee56be3bc5718d377a6f5ebf7ff862acee8958d5","schema_version":"1.0","event_id":"sha256:25b42ffdc538fc558d7b16f6ee56be3bc5718d377a6f5ebf7ff862acee8958d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2N4MK2I7FYHW37C23NY472TGTN/bundle.json","state_url":"https://pith.science/pith/2N4MK2I7FYHW37C23NY472TGTN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2N4MK2I7FYHW37C23NY472TGTN/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-08-13T12:38:25Z","links":{"resolver":"https://pith.science/pith/2N4MK2I7FYHW37C23NY472TGTN","bundle":"https://pith.science/pith/2N4MK2I7FYHW37C23NY472TGTN/bundle.json","state":"https://pith.science/pith/2N4MK2I7FYHW37C23NY472TGTN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2N4MK2I7FYHW37C23NY472TGTN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2N4MK2I7FYHW37C23NY472TGTN","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":"6c12fab3e64855b271edd6997c637de721d89f606bf3121849406ef63537ea4d","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-21T23:22:56Z","title_canon_sha256":"37ad1724b887b493b26639e62bafbe0f595d460accde4994ad4f10f6166ad4d1"},"schema_version":"1.0","source":{"id":"2502.15999","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.15999","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"arxiv_version","alias_value":"2502.15999v1","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.15999","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"pith_short_12","alias_value":"2N4MK2I7FYHW","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"pith_short_16","alias_value":"2N4MK2I7FYHW37C2","created_at":"2026-07-05T10:18:19Z"},{"alias_kind":"pith_short_8","alias_value":"2N4MK2I7","created_at":"2026-07-05T10:18:19Z"}],"graph_snapshots":[{"event_id":"sha256:25b42ffdc538fc558d7b16f6ee56be3bc5718d377a6f5ebf7ff862acee8958d5","target":"graph","created_at":"2026-07-05T10:18:19Z","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/2502.15999/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many recent computational accelerators provide non-standard (e.g., reduced precision) arithmetic operations to enhance performance for floating-point matrix multiplication. Unfortunately, the properties of these accelerators are not widely understood and lack sufficient descriptions of their behavior. This makes it difficult for tool builders beyond the original vendor to target or simulate the hardware correctly, or for algorithm designers to be confident in their code. To address these gaps, prior studies have probed the behavior of these units with manually crafted tests. Such tests are cum","authors_text":"Benjamin Valpey, Ganesh Gopalakrishnan, Sreepathi Pai, Xinyi Li","cross_cats":["cs.NA","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-21T23:22:56Z","title":"An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.15999","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:d4283d668127aa732ff0581ea7ebb562a1d8460dc6ad4586376763b640a3db56","target":"record","created_at":"2026-07-05T10:18:19Z","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":"6c12fab3e64855b271edd6997c637de721d89f606bf3121849406ef63537ea4d","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2025-02-21T23:22:56Z","title_canon_sha256":"37ad1724b887b493b26639e62bafbe0f595d460accde4994ad4f10f6166ad4d1"},"schema_version":"1.0","source":{"id":"2502.15999","kind":"arxiv","version":1}},"canonical_sha256":"d378c5691f2e0f6dfc5adb71cfea669b7af670c62d48f094e0594cc6981ce97e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d378c5691f2e0f6dfc5adb71cfea669b7af670c62d48f094e0594cc6981ce97e","first_computed_at":"2026-07-05T10:18:19.488790Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:18:19.488790Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LptE1ZMQ6MZaoCBE3MM1bYy/SBmXO2RqHReLEZN9ngRnqgajAZgiKi1d/zUy0uJSQTHjqRnwQ6WlGjd465jyDg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:18:19.489236Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.15999","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d4283d668127aa732ff0581ea7ebb562a1d8460dc6ad4586376763b640a3db56","sha256:25b42ffdc538fc558d7b16f6ee56be3bc5718d377a6f5ebf7ff862acee8958d5"],"state_sha256":"c1808dddbde1f9e8ea1cf2c8e086d7dab96e4707d3172665b5d716efcce295db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sh7gTPr6OuOij/pMb5oa8kEQHWOxaLv1adOJFgzaoCygxHSn9uxOOImtwLXaHgxKIex8vyZRDuPFr8sc9Lf5Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T12:38:25.329849Z","bundle_sha256":"388571464ba183fdf51e18c1a091e5741555d97ca14ddb314e1fe7c966de4652"}}