{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PDF7C6XI45MHBLJYTQP5GEN4JH","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":"4bdd7570e025e03c04da3dc89504e9a902541c577face19c55c9f6add2c82793","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-16T21:25:59Z","title_canon_sha256":"c15a1ec6e04dffc5bdd369f86d4920412c2f010a1dafc8e64eafe25b50b9fe37"},"schema_version":"1.0","source":{"id":"2511.12784","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.12784","created_at":"2026-06-04T01:09:39Z"},{"alias_kind":"arxiv_version","alias_value":"2511.12784v3","created_at":"2026-06-04T01:09:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.12784","created_at":"2026-06-04T01:09:39Z"},{"alias_kind":"pith_short_12","alias_value":"PDF7C6XI45MH","created_at":"2026-06-04T01:09:39Z"},{"alias_kind":"pith_short_16","alias_value":"PDF7C6XI45MHBLJY","created_at":"2026-06-04T01:09:39Z"},{"alias_kind":"pith_short_8","alias_value":"PDF7C6XI","created_at":"2026-06-04T01:09:39Z"}],"graph_snapshots":[{"event_id":"sha256:fa8290d50f2e0a6e84bd3902758fc44111f49fe9b43213de05f3bd882c80cd84","target":"graph","created_at":"2026-06-04T01:09:39Z","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/2511.12784/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have recently emerged as powerful tools for autoformalization. Despite their impressive performance, these models can still struggle to produce grounded and verifiable formalizations. Recent work in text-to-SQL, has revealed that LLMs can be sensitive to paraphrased natural language (NL) inputs, even when high degrees of semantic fidelity are preserved. In this paper, we investigate this claim in the autoformalization domain. Specifically, we evaluate the robustness of LLMs generating formal proofs with semantically similar paraphrased NL statements by measuring se","authors_text":"Asfahan Shah, Hayden Moore","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-16T21:25:59Z","title":"Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.12784","kind":"arxiv","version":3},"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:8238bdc3e8e4973a39f709559cb92b1166a44eb385d4d2c617e83baaa3d21fba","target":"record","created_at":"2026-06-04T01:09:39Z","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":"4bdd7570e025e03c04da3dc89504e9a902541c577face19c55c9f6add2c82793","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-11-16T21:25:59Z","title_canon_sha256":"c15a1ec6e04dffc5bdd369f86d4920412c2f010a1dafc8e64eafe25b50b9fe37"},"schema_version":"1.0","source":{"id":"2511.12784","kind":"arxiv","version":3}},"canonical_sha256":"78cbf17ae8e75870ad389c1fd311bc49cf21643f08c9fcd5c3a8392739234753","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78cbf17ae8e75870ad389c1fd311bc49cf21643f08c9fcd5c3a8392739234753","first_computed_at":"2026-06-04T01:09:39.610384Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T01:09:39.610384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EbhEyfBi/iHboJw2rhx0nf/8+oNO7ARSMBei5awN15XWIREm6mbiTg1Hk2O+9E9PwmnI1gvVfPb5vd/zDxomBg==","signature_status":"signed_v1","signed_at":"2026-06-04T01:09:39.610963Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.12784","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8238bdc3e8e4973a39f709559cb92b1166a44eb385d4d2c617e83baaa3d21fba","sha256:fa8290d50f2e0a6e84bd3902758fc44111f49fe9b43213de05f3bd882c80cd84"],"state_sha256":"cc2f4d58914846e05be150997b09c252a6c239fb05d10c2e83055a96c99a604e"}