{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:Y54LOZC7EKC6ZXWD5YKBNAV4CX","short_pith_number":"pith:Y54LOZC7","canonical_record":{"source":{"id":"2607.04655","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-06T04:20:06Z","cross_cats_sorted":[],"title_canon_sha256":"b44f0cf6dff29c0388894bb06780106b31bd3cd777a362621a6fc4ee95a5eb68","abstract_canon_sha256":"283abca7cbc0b6a7a00eabe639199fb2c01260134ab3fcf771f5545730b52287"},"schema_version":"1.0"},"canonical_sha256":"c778b7645f2285ecdec3ee141682bc15d6d785fc2117ddb9746c455217f4810e","source":{"kind":"arxiv","id":"2607.04655","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.04655","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.04655v1","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.04655","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"Y54LOZC7EKC6","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"Y54LOZC7EKC6ZXWD","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"Y54LOZC7","created_at":"2026-07-07T02:19:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:Y54LOZC7EKC6ZXWD5YKBNAV4CX","target":"record","payload":{"canonical_record":{"source":{"id":"2607.04655","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-06T04:20:06Z","cross_cats_sorted":[],"title_canon_sha256":"b44f0cf6dff29c0388894bb06780106b31bd3cd777a362621a6fc4ee95a5eb68","abstract_canon_sha256":"283abca7cbc0b6a7a00eabe639199fb2c01260134ab3fcf771f5545730b52287"},"schema_version":"1.0"},"canonical_sha256":"c778b7645f2285ecdec3ee141682bc15d6d785fc2117ddb9746c455217f4810e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T02:19:29.790940Z","signature_b64":"Ou8k5kf1Urc5bN/4fDatneRJLFAQANb5L7jPYqXqWfpBFSm+LAcpROZLBdNaieYdrMhwSRrBQXI7YHiw01VHDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c778b7645f2285ecdec3ee141682bc15d6d785fc2117ddb9746c455217f4810e","last_reissued_at":"2026-07-07T02:19:29.790280Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T02:19:29.790280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.04655","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-07T02:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KWRDieGbODE4y3pyLknZqPX7vZK+KzRVLrBiBGGmGw58Z5fvONN1tRkUb83awGYJGe7DrA4s0jWTzJJFMIImBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-24T15:09:17.016374Z"},"content_sha256":"1dff732186e72af8d8ebb4a9ff804efe22dee0988128635b9581e4d239f90716","schema_version":"1.0","event_id":"sha256:1dff732186e72af8d8ebb4a9ff804efe22dee0988128635b9581e4d239f90716"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:Y54LOZC7EKC6ZXWD5YKBNAV4CX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Baiyu Huang, Haocheng Wang, Xiaoyang Liu, Xiao Zhu, Yingjia Wan, Yinya Huang, Zhijiang Guo","submitted_at":"2026-07-06T04:20:06Z","abstract_excerpt":"The veracious semantic alignment in autoformalization is significant for formal mathematical reasoning. However, existing evaluations provide only opaque binary verdicts or scalar scores, offering no interpretable insight into where or why translations fail. This opacity severely limits both human understanding and automated system improvement. To bridge this gap, we introduce FormalRx, a comprehensive diagnostic evaluation framework that transforms autoformalization assessment from black-box judgments into actionable feedback. At its core is SCI Error Taxonomy, a hierarchical classification s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.04655","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/2607.04655/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-07T02:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f4NL9Sx+xM6s66blyI5+B2xriBXSZWBErZJlwkcbtcLtBJMIxQlW0GQ/rcA19U4b20dckWVlNFq6SJQHcxSABg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-24T15:09:17.016754Z"},"content_sha256":"cf077ba7aebf9d29daee85bca394c6c972ff2f1324f6cc554231a1a1e7d12508","schema_version":"1.0","event_id":"sha256:cf077ba7aebf9d29daee85bca394c6c972ff2f1324f6cc554231a1a1e7d12508"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX/bundle.json","state_url":"https://pith.science/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX/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-24T15:09:17Z","links":{"resolver":"https://pith.science/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX","bundle":"https://pith.science/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX/bundle.json","state":"https://pith.science/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y54LOZC7EKC6ZXWD5YKBNAV4CX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:Y54LOZC7EKC6ZXWD5YKBNAV4CX","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":"283abca7cbc0b6a7a00eabe639199fb2c01260134ab3fcf771f5545730b52287","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-06T04:20:06Z","title_canon_sha256":"b44f0cf6dff29c0388894bb06780106b31bd3cd777a362621a6fc4ee95a5eb68"},"schema_version":"1.0","source":{"id":"2607.04655","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.04655","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.04655v1","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.04655","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"Y54LOZC7EKC6","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"Y54LOZC7EKC6ZXWD","created_at":"2026-07-07T02:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"Y54LOZC7","created_at":"2026-07-07T02:19:29Z"}],"graph_snapshots":[{"event_id":"sha256:cf077ba7aebf9d29daee85bca394c6c972ff2f1324f6cc554231a1a1e7d12508","target":"graph","created_at":"2026-07-07T02:19:29Z","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/2607.04655/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The veracious semantic alignment in autoformalization is significant for formal mathematical reasoning. However, existing evaluations provide only opaque binary verdicts or scalar scores, offering no interpretable insight into where or why translations fail. This opacity severely limits both human understanding and automated system improvement. To bridge this gap, we introduce FormalRx, a comprehensive diagnostic evaluation framework that transforms autoformalization assessment from black-box judgments into actionable feedback. At its core is SCI Error Taxonomy, a hierarchical classification s","authors_text":"Baiyu Huang, Haocheng Wang, Xiaoyang Liu, Xiao Zhu, Yingjia Wan, Yinya Huang, Zhijiang Guo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-06T04:20:06Z","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.04655","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:1dff732186e72af8d8ebb4a9ff804efe22dee0988128635b9581e4d239f90716","target":"record","created_at":"2026-07-07T02:19:29Z","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":"283abca7cbc0b6a7a00eabe639199fb2c01260134ab3fcf771f5545730b52287","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2026-07-06T04:20:06Z","title_canon_sha256":"b44f0cf6dff29c0388894bb06780106b31bd3cd777a362621a6fc4ee95a5eb68"},"schema_version":"1.0","source":{"id":"2607.04655","kind":"arxiv","version":1}},"canonical_sha256":"c778b7645f2285ecdec3ee141682bc15d6d785fc2117ddb9746c455217f4810e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c778b7645f2285ecdec3ee141682bc15d6d785fc2117ddb9746c455217f4810e","first_computed_at":"2026-07-07T02:19:29.790280Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T02:19:29.790280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ou8k5kf1Urc5bN/4fDatneRJLFAQANb5L7jPYqXqWfpBFSm+LAcpROZLBdNaieYdrMhwSRrBQXI7YHiw01VHDw==","signature_status":"signed_v1","signed_at":"2026-07-07T02:19:29.790940Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.04655","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1dff732186e72af8d8ebb4a9ff804efe22dee0988128635b9581e4d239f90716","sha256:cf077ba7aebf9d29daee85bca394c6c972ff2f1324f6cc554231a1a1e7d12508"],"state_sha256":"f1cace1a68e65a902f8ab90ac7dc0cf2cf1f0461078c4154ee8577477a57cef2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3rnAmZJ3BeDuQMyfj/ou++gT9PaM6U5R5+MoEJ5zJxJXywnF8BXLZIyRUngtmufaDGeP+GIAXHL17DH78nrcDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-24T15:09:17.018927Z","bundle_sha256":"924b8ff140a6f451d6a8a4085a161d797aa1c6425bfd598e19e8a017a81193d7"}}