{"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"}