{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:X7EBHP3644AGPBAQMGZGN6AAYB","short_pith_number":"pith:X7EBHP36","canonical_record":{"source":{"id":"2107.02418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-07-06T06:34:41Z","cross_cats_sorted":[],"title_canon_sha256":"aaae3022af39f93609c73a9e65722a01de59c506c461163c27e3b24dde8d47f3","abstract_canon_sha256":"3c3b865a658b688afcdd7c87895458fa363a1e076ff8de39513ebfea3097caba"},"schema_version":"1.0"},"canonical_sha256":"bfc813bf7ee70067841061b266f800c07950431ee86dc5a6da79db7a23df3451","source":{"kind":"arxiv","id":"2107.02418","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.02418","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"arxiv_version","alias_value":"2107.02418v1","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.02418","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"pith_short_12","alias_value":"X7EBHP3644AG","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"pith_short_16","alias_value":"X7EBHP3644AGPBAQ","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"pith_short_8","alias_value":"X7EBHP36","created_at":"2026-07-05T02:55:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:X7EBHP3644AGPBAQMGZGN6AAYB","target":"record","payload":{"canonical_record":{"source":{"id":"2107.02418","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-07-06T06:34:41Z","cross_cats_sorted":[],"title_canon_sha256":"aaae3022af39f93609c73a9e65722a01de59c506c461163c27e3b24dde8d47f3","abstract_canon_sha256":"3c3b865a658b688afcdd7c87895458fa363a1e076ff8de39513ebfea3097caba"},"schema_version":"1.0"},"canonical_sha256":"bfc813bf7ee70067841061b266f800c07950431ee86dc5a6da79db7a23df3451","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:55:20.416145Z","signature_b64":"KK+bh1Z50is8EFkXsekUtc6qejZGLLdBSlFhoD3N77T8NmAdSOtP06bkCFJLhDZEdqgGEDfgHloFpr5+wDMHCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfc813bf7ee70067841061b266f800c07950431ee86dc5a6da79db7a23df3451","last_reissued_at":"2026-07-05T02:55:20.415553Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:55:20.415553Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2107.02418","source_version":1,"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-05T02:55:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hAyw5lKQEOppMLIVmP0cMfwligtBQrBmhkXvabzn4XdwDZOqMs5r5X5P5aeHgruppk4u/f9in/zRJQ+2caHkBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:32:47.751624Z"},"content_sha256":"ba9c3c77a4eea0458641e1fc57b75ac792ccea5ce539a8ab5673bcb0f5b1b7e6","schema_version":"1.0","event_id":"sha256:ba9c3c77a4eea0458641e1fc57b75ac792ccea5ce539a8ab5673bcb0f5b1b7e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:X7EBHP3644AGPBAQMGZGN6AAYB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Graph Reasoning for Natural Proof Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Changzhi Sun, Chun Gan, Hao Zhou, Jiangjie Chen, Jiaze Chen, Lei Li, Xinbo Zhang, Yuanbin Wu","submitted_at":"2021-07-06T06:34:41Z","abstract_excerpt":"In this paper, we investigate the problem of reasoning over natural language statements. Prior neural based approaches do not explicitly consider the inter-dependency among answers and their proofs. In this paper, we propose PRobr, a novel approach for joint answer prediction and proof generation. PRobr defines a joint probabilistic distribution over all possible proof graphs and answers via an induced graphical model. We then optimize the model using variational approximation on top of neural textual representation. Experiments on multiple datasets under diverse settings (fully supervised, fe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.02418","kind":"arxiv","version":1},"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/2107.02418/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-05T02:55:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8gALnbjIGqXMYaEEmosO1IzIWUqpfBLlBG42iJj0xhBGZfDnqft4xMT8asy+umNs3OAhc7RTJq2dJURPji2rBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:32:47.752003Z"},"content_sha256":"348f0e6decb306e4b6fa55dcaf0149b64f2c13fed7c765b4791d95d1ecc39b7b","schema_version":"1.0","event_id":"sha256:348f0e6decb306e4b6fa55dcaf0149b64f2c13fed7c765b4791d95d1ecc39b7b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X7EBHP3644AGPBAQMGZGN6AAYB/bundle.json","state_url":"https://pith.science/pith/X7EBHP3644AGPBAQMGZGN6AAYB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X7EBHP3644AGPBAQMGZGN6AAYB/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-07-07T10:32:47Z","links":{"resolver":"https://pith.science/pith/X7EBHP3644AGPBAQMGZGN6AAYB","bundle":"https://pith.science/pith/X7EBHP3644AGPBAQMGZGN6AAYB/bundle.json","state":"https://pith.science/pith/X7EBHP3644AGPBAQMGZGN6AAYB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X7EBHP3644AGPBAQMGZGN6AAYB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:X7EBHP3644AGPBAQMGZGN6AAYB","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":"3c3b865a658b688afcdd7c87895458fa363a1e076ff8de39513ebfea3097caba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-07-06T06:34:41Z","title_canon_sha256":"aaae3022af39f93609c73a9e65722a01de59c506c461163c27e3b24dde8d47f3"},"schema_version":"1.0","source":{"id":"2107.02418","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.02418","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"arxiv_version","alias_value":"2107.02418v1","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.02418","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"pith_short_12","alias_value":"X7EBHP3644AG","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"pith_short_16","alias_value":"X7EBHP3644AGPBAQ","created_at":"2026-07-05T02:55:20Z"},{"alias_kind":"pith_short_8","alias_value":"X7EBHP36","created_at":"2026-07-05T02:55:20Z"}],"graph_snapshots":[{"event_id":"sha256:348f0e6decb306e4b6fa55dcaf0149b64f2c13fed7c765b4791d95d1ecc39b7b","target":"graph","created_at":"2026-07-05T02:55:20Z","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/2107.02418/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we investigate the problem of reasoning over natural language statements. Prior neural based approaches do not explicitly consider the inter-dependency among answers and their proofs. In this paper, we propose PRobr, a novel approach for joint answer prediction and proof generation. PRobr defines a joint probabilistic distribution over all possible proof graphs and answers via an induced graphical model. We then optimize the model using variational approximation on top of neural textual representation. Experiments on multiple datasets under diverse settings (fully supervised, fe","authors_text":"Changzhi Sun, Chun Gan, Hao Zhou, Jiangjie Chen, Jiaze Chen, Lei Li, Xinbo Zhang, Yuanbin Wu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-07-06T06:34:41Z","title":"Probabilistic Graph Reasoning for Natural Proof Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.02418","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:ba9c3c77a4eea0458641e1fc57b75ac792ccea5ce539a8ab5673bcb0f5b1b7e6","target":"record","created_at":"2026-07-05T02:55:20Z","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":"3c3b865a658b688afcdd7c87895458fa363a1e076ff8de39513ebfea3097caba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2021-07-06T06:34:41Z","title_canon_sha256":"aaae3022af39f93609c73a9e65722a01de59c506c461163c27e3b24dde8d47f3"},"schema_version":"1.0","source":{"id":"2107.02418","kind":"arxiv","version":1}},"canonical_sha256":"bfc813bf7ee70067841061b266f800c07950431ee86dc5a6da79db7a23df3451","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfc813bf7ee70067841061b266f800c07950431ee86dc5a6da79db7a23df3451","first_computed_at":"2026-07-05T02:55:20.415553Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:55:20.415553Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KK+bh1Z50is8EFkXsekUtc6qejZGLLdBSlFhoD3N77T8NmAdSOtP06bkCFJLhDZEdqgGEDfgHloFpr5+wDMHCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:55:20.416145Z","signed_message":"canonical_sha256_bytes"},"source_id":"2107.02418","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba9c3c77a4eea0458641e1fc57b75ac792ccea5ce539a8ab5673bcb0f5b1b7e6","sha256:348f0e6decb306e4b6fa55dcaf0149b64f2c13fed7c765b4791d95d1ecc39b7b"],"state_sha256":"b4b229b2fd26d1b5b7edd96cd28382676f0c6f50b54de4cf28f256cd918d26e9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JSSthz8Ik565UjvH71toaP7Xm3yfQnC5+1SFYVB6P0FMqUpXTAWbedNznfpKJ0uF/uOXHT9vtO5AHwRRvkw2DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:32:47.753944Z","bundle_sha256":"fe4233ff1c6df17ec851a5754a25a65a2331043c006a22c9f915a414ad1fa2e6"}}