{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FKJSF4BX3TRWT2VBCMCYZZTCFC","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":"421c90a78e23e61502253f41bdb0f4bf6bf7c591c70a47a94646fd83b3bdcc08","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-10T03:34:58Z","title_canon_sha256":"3b6dda422a4d3527150906709df371fb3e35547f7ff60429d9dec04936458a52"},"schema_version":"1.0","source":{"id":"2507.07399","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.07399","created_at":"2026-07-05T11:57:37Z"},{"alias_kind":"arxiv_version","alias_value":"2507.07399v2","created_at":"2026-07-05T11:57:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.07399","created_at":"2026-07-05T11:57:37Z"},{"alias_kind":"pith_short_12","alias_value":"FKJSF4BX3TRW","created_at":"2026-07-05T11:57:37Z"},{"alias_kind":"pith_short_16","alias_value":"FKJSF4BX3TRWT2VB","created_at":"2026-07-05T11:57:37Z"},{"alias_kind":"pith_short_8","alias_value":"FKJSF4BX","created_at":"2026-07-05T11:57:37Z"}],"graph_snapshots":[{"event_id":"sha256:08634570bf0591dad093875b09eaf9e655e040dea24c98a8af236b50bb833721","target":"graph","created_at":"2026-07-05T11:57:37Z","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/2507.07399/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Statement autoformalization, the automated translation of statements from natural language into formal languages, has become a subject of extensive research, yet the development of robust automated evaluation metrics remains limited. Existing evaluation methods often lack semantic understanding, face challenges with high computational costs, and are constrained by the current progress of automated theorem proving. To address these issues, we propose GTED (Generalized Tree Edit Distance), a novel evaluation framework that first standardizes formal statements and converts them into operator tree","authors_text":"Jiashuo Zhang, Kangjie Bao, Qingfeng Guo, Tao Luo, Tao Zhu, Xiaoyang Liu, Yu Chen, Yuntian Liu, Zhaoxuan Liu","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-10T03:34:58Z","title":"Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.07399","kind":"arxiv","version":2},"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:cc98bbea7971d21c4680e0d001211b97c248c4ea8f932e97eb1eb36ea82f6008","target":"record","created_at":"2026-07-05T11:57:37Z","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":"421c90a78e23e61502253f41bdb0f4bf6bf7c591c70a47a94646fd83b3bdcc08","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-10T03:34:58Z","title_canon_sha256":"3b6dda422a4d3527150906709df371fb3e35547f7ff60429d9dec04936458a52"},"schema_version":"1.0","source":{"id":"2507.07399","kind":"arxiv","version":2}},"canonical_sha256":"2a9322f037dce369eaa113058ce662288b6d528a9d8e817d2ee1d6a0961830cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a9322f037dce369eaa113058ce662288b6d528a9d8e817d2ee1d6a0961830cb","first_computed_at":"2026-07-05T11:57:37.869071Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:57:37.869071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1oQ4sfRPz8sOfRiP5E5s//juBDxbqgdCv0xHR2einYctsKC7lkAZrFG0dQ0GJ7zgEpitL3NE6MTT5HeawIOPAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:57:37.869546Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.07399","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cc98bbea7971d21c4680e0d001211b97c248c4ea8f932e97eb1eb36ea82f6008","sha256:08634570bf0591dad093875b09eaf9e655e040dea24c98a8af236b50bb833721"],"state_sha256":"e695b78d50606252c8beeab774f7a3286beeaeffe84e91577df58353ad6af4c1"}