{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:FXNRQOQE2NCU3GQZ22XETKHAB2","short_pith_number":"pith:FXNRQOQE","canonical_record":{"source":{"id":"2205.12443","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-05-25T02:22:30Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"439f6c023c0e567b953b5aa1ade6722c87022209747ae18d0f72624ad1e0dc63","abstract_canon_sha256":"7f5867bbeee7b8eda83848e4d4955aca852ce149fd4b194833bda014fbdca064"},"schema_version":"1.0"},"canonical_sha256":"2ddb183a04d3454d9a19d6ae49a8e00e9301ca27ba4e6f7c4aaa89dfd91f33e3","source":{"kind":"arxiv","id":"2205.12443","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:FXNRQOQE2NCU3GQZ22XETKHAB2","target":"record","payload":{"canonical_record":{"source":{"id":"2205.12443","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-05-25T02:22:30Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"439f6c023c0e567b953b5aa1ade6722c87022209747ae18d0f72624ad1e0dc63","abstract_canon_sha256":"7f5867bbeee7b8eda83848e4d4955aca852ce149fd4b194833bda014fbdca064"},"schema_version":"1.0"},"canonical_sha256":"2ddb183a04d3454d9a19d6ae49a8e00e9301ca27ba4e6f7c4aaa89dfd91f33e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:09:18.515399Z","signature_b64":"F8Wk0MMjU0UauM2FkKzZ0cDRmZRGI9CPEBh0KUEMJPuhFqKNkxoFLVbSiyagdH7KMl/RixdDP+sKVEafAuLRAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ddb183a04d3454d9a19d6ae49a8e00e9301ca27ba4e6f7c4aaa89dfd91f33e3","last_reissued_at":"2026-07-05T05:09:18.515041Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:09:18.515041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.12443","source_version":3,"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-05T05:09:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7eMfjNStio6HSnHIl0MpIpvLnyhBuIR6iXyMkAIyGvL9xiRu5pUpHtD7HauH1LvfocWyKNr9Ky24grsixxbPDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T15:21:11.383324Z"},"content_sha256":"7708affb6f09b7d0d25fdcf7d2d9deb601c996e9cf330d0abfb070fcb42bb272","schema_version":"1.0","event_id":"sha256:7708affb6f09b7d0d25fdcf7d2d9deb601c996e9cf330d0abfb070fcb42bb272"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:FXNRQOQE2NCU3GQZ22XETKHAB2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generating Natural Language Proofs with Verifier-Guided Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.CL","authors_text":"Danqi Chen, Jia Deng, Kaiyu Yang","submitted_at":"2022-05-25T02:22:30Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.12443","kind":"arxiv","version":3},"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/2205.12443/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-05T05:09:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lhAmV6NQbJ4zxUsoTw/ffbfK7xUZGVooMyQowyMPxhsNRpnazBp6usys3epOHarG+YvKe/Aysxgx1wDF1MnTCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T15:21:11.383929Z"},"content_sha256":"7e9105a010d36fade21bb70f5450bc1ce08610fc51a51f0f547bd535db05b38f","schema_version":"1.0","event_id":"sha256:7e9105a010d36fade21bb70f5450bc1ce08610fc51a51f0f547bd535db05b38f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FXNRQOQE2NCU3GQZ22XETKHAB2/bundle.json","state_url":"https://pith.science/pith/FXNRQOQE2NCU3GQZ22XETKHAB2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FXNRQOQE2NCU3GQZ22XETKHAB2/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-08-13T15:21:11Z","links":{"resolver":"https://pith.science/pith/FXNRQOQE2NCU3GQZ22XETKHAB2","bundle":"https://pith.science/pith/FXNRQOQE2NCU3GQZ22XETKHAB2/bundle.json","state":"https://pith.science/pith/FXNRQOQE2NCU3GQZ22XETKHAB2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FXNRQOQE2NCU3GQZ22XETKHAB2/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3EHe4vX/M7A5tkLfRLa1CfX7Lk/nSKKBYMVNrVC//Nnj+/FNuNpwUmj3yPvSpnIj9ws8P89LNfOicGqYnsdoBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T15:21:11.387612Z","bundle_sha256":"2851ec5733b16f72521988ae3dd45b594b34f1a714ddd0185a9c73b0508c4408"}}