{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:FXNRQOQE2NCU3GQZ22XETKHAB2","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":"7f5867bbeee7b8eda83848e4d4955aca852ce149fd4b194833bda014fbdca064","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-05-25T02:22:30Z","title_canon_sha256":"439f6c023c0e567b953b5aa1ade6722c87022209747ae18d0f72624ad1e0dc63"},"schema_version":"1.0","source":{"id":"2205.12443","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.12443","created_at":"2026-07-05T05:09:18Z"},{"alias_kind":"arxiv_version","alias_value":"2205.12443v3","created_at":"2026-07-05T05:09:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.12443","created_at":"2026-07-05T05:09:18Z"},{"alias_kind":"pith_short_12","alias_value":"FXNRQOQE2NCU","created_at":"2026-07-05T05:09:18Z"},{"alias_kind":"pith_short_16","alias_value":"FXNRQOQE2NCU3GQZ","created_at":"2026-07-05T05:09:18Z"},{"alias_kind":"pith_short_8","alias_value":"FXNRQOQE","created_at":"2026-07-05T05:09:18Z"}],"graph_snapshots":[{"event_id":"sha256:7e9105a010d36fade21bb70f5450bc1ce08610fc51a51f0f547bd535db05b38f","target":"graph","created_at":"2026-07-05T05:09:18Z","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/2205.12443/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reasoning over natural language is a challenging problem in NLP. In this work, we focus on proof generation: Given a hypothesis and a set of supporting facts, the model generates a proof tree indicating how to derive the hypothesis from supporting facts. Compared to generating the entire proof in one shot, stepwise generation can better exploit the compositionality and generalize to longer proofs but has achieved limited success on real-world data. Existing stepwise methods struggle to generate proof steps that are both logically valid and relevant to the hypothesis. Instead, they tend to hall","authors_text":"Danqi Chen, Jia Deng, Kaiyu Yang","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-05-25T02:22:30Z","title":"Generating Natural Language Proofs with Verifier-Guided Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.12443","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:7708affb6f09b7d0d25fdcf7d2d9deb601c996e9cf330d0abfb070fcb42bb272","target":"record","created_at":"2026-07-05T05:09:18Z","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":"7f5867bbeee7b8eda83848e4d4955aca852ce149fd4b194833bda014fbdca064","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-05-25T02:22:30Z","title_canon_sha256":"439f6c023c0e567b953b5aa1ade6722c87022209747ae18d0f72624ad1e0dc63"},"schema_version":"1.0","source":{"id":"2205.12443","kind":"arxiv","version":3}},"canonical_sha256":"2ddb183a04d3454d9a19d6ae49a8e00e9301ca27ba4e6f7c4aaa89dfd91f33e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ddb183a04d3454d9a19d6ae49a8e00e9301ca27ba4e6f7c4aaa89dfd91f33e3","first_computed_at":"2026-07-05T05:09:18.515041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:09:18.515041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F8Wk0MMjU0UauM2FkKzZ0cDRmZRGI9CPEBh0KUEMJPuhFqKNkxoFLVbSiyagdH7KMl/RixdDP+sKVEafAuLRAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:09:18.515399Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.12443","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7708affb6f09b7d0d25fdcf7d2d9deb601c996e9cf330d0abfb070fcb42bb272","sha256:7e9105a010d36fade21bb70f5450bc1ce08610fc51a51f0f547bd535db05b38f"],"state_sha256":"50435b9ceae1541b7484834fae2d6ba46817f37392e892917839e834d7aa4f5e"}