{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:2HGIERYDNQUY253OX3RFVP4GFY","short_pith_number":"pith:2HGIERYD","canonical_record":{"source":{"id":"2009.14786","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-09-30T16:54:37Z","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"title_canon_sha256":"98f4ad906f7f75b2e2e95d399fcb0cdc0a2a128d56e3db2e006ba4ae6461136e","abstract_canon_sha256":"eabc69b51c53d86439627c04914903a5c95b6322acbb934e06103c22cfcff417"},"schema_version":"1.0"},"canonical_sha256":"d1cc8247036c298d776ebee25abf862e22f53c4151535d2531a39b0e533a5bcc","source":{"kind":"arxiv","id":"2009.14786","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.14786","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"arxiv_version","alias_value":"2009.14786v2","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14786","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"pith_short_12","alias_value":"2HGIERYDNQUY","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"pith_short_16","alias_value":"2HGIERYDNQUY253O","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"pith_short_8","alias_value":"2HGIERYD","created_at":"2026-07-05T01:44:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:2HGIERYDNQUY253OX3RFVP4GFY","target":"record","payload":{"canonical_record":{"source":{"id":"2009.14786","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-09-30T16:54:37Z","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"title_canon_sha256":"98f4ad906f7f75b2e2e95d399fcb0cdc0a2a128d56e3db2e006ba4ae6461136e","abstract_canon_sha256":"eabc69b51c53d86439627c04914903a5c95b6322acbb934e06103c22cfcff417"},"schema_version":"1.0"},"canonical_sha256":"d1cc8247036c298d776ebee25abf862e22f53c4151535d2531a39b0e533a5bcc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:44:51.032156Z","signature_b64":"+lZ+t2x8tpoMSXlR1e9tFnZEOhCwTY9nyJT/Si8rZXhDHtZKO1AFvMyzwmJZoqxcs0+RtYOizVVYpRs6IF5ZBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1cc8247036c298d776ebee25abf862e22f53c4151535d2531a39b0e533a5bcc","last_reissued_at":"2026-07-05T01:44:51.031715Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:44:51.031715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.14786","source_version":2,"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-05T01:44:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q/CU0zs6SfYhpWii3ZA+TUBQCSGdt7dTkhEMNuZe9UjRO2qBmvuYu7U0vTwAcneVDZZSoSbuu4Tu1QZKticwBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:49:34.115633Z"},"content_sha256":"99164202c1cd124a1de1f7c4b5a675753f28de61f777b0ae57881a15010e30da","schema_version":"1.0","event_id":"sha256:99164202c1cd124a1de1f7c4b5a675753f28de61f777b0ae57881a15010e30da"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:2HGIERYDNQUY253OX3RFVP4GFY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Measuring Systematic Generalization in Neural Proof Generation with Transformers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CL","stat.ML"],"primary_cat":"cs.LG","authors_text":"Christopher Pal, Koustuv Sinha, Nicolas Gontier, Siva Reddy","submitted_at":"2020-09-30T16:54:37Z","abstract_excerpt":"We are interested in understanding how well Transformer language models (TLMs) can perform reasoning tasks when trained on knowledge encoded in the form of natural language. We investigate their systematic generalization abilities on a logical reasoning task in natural language, which involves reasoning over relationships between entities grounded in first-order logical proofs. Specifically, we perform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency, along with the accuracy of the final inference. We observe leng"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.14786","kind":"arxiv","version":2},"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/2009.14786/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-05T01:44:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jp/wdG8f+oFSZNyRNRtUZzcorNaNGT6ZwVTITKU0p9TZF0bXilYdYJFfPcmVkas082AsSZ3ElQ0bUYWBOA/uBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T05:49:34.116116Z"},"content_sha256":"30a12dd9d0902b0780faef6b8aebe966c1ea2cfbd15b20dd42f0883b623685f9","schema_version":"1.0","event_id":"sha256:30a12dd9d0902b0780faef6b8aebe966c1ea2cfbd15b20dd42f0883b623685f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2HGIERYDNQUY253OX3RFVP4GFY/bundle.json","state_url":"https://pith.science/pith/2HGIERYDNQUY253OX3RFVP4GFY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2HGIERYDNQUY253OX3RFVP4GFY/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-05T05:49:34Z","links":{"resolver":"https://pith.science/pith/2HGIERYDNQUY253OX3RFVP4GFY","bundle":"https://pith.science/pith/2HGIERYDNQUY253OX3RFVP4GFY/bundle.json","state":"https://pith.science/pith/2HGIERYDNQUY253OX3RFVP4GFY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2HGIERYDNQUY253OX3RFVP4GFY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:2HGIERYDNQUY253OX3RFVP4GFY","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":"eabc69b51c53d86439627c04914903a5c95b6322acbb934e06103c22cfcff417","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-09-30T16:54:37Z","title_canon_sha256":"98f4ad906f7f75b2e2e95d399fcb0cdc0a2a128d56e3db2e006ba4ae6461136e"},"schema_version":"1.0","source":{"id":"2009.14786","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.14786","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"arxiv_version","alias_value":"2009.14786v2","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.14786","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"pith_short_12","alias_value":"2HGIERYDNQUY","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"pith_short_16","alias_value":"2HGIERYDNQUY253O","created_at":"2026-07-05T01:44:51Z"},{"alias_kind":"pith_short_8","alias_value":"2HGIERYD","created_at":"2026-07-05T01:44:51Z"}],"graph_snapshots":[{"event_id":"sha256:30a12dd9d0902b0780faef6b8aebe966c1ea2cfbd15b20dd42f0883b623685f9","target":"graph","created_at":"2026-07-05T01:44:51Z","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/2009.14786/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We are interested in understanding how well Transformer language models (TLMs) can perform reasoning tasks when trained on knowledge encoded in the form of natural language. We investigate their systematic generalization abilities on a logical reasoning task in natural language, which involves reasoning over relationships between entities grounded in first-order logical proofs. Specifically, we perform soft theorem-proving by leveraging TLMs to generate natural language proofs. We test the generated proofs for logical consistency, along with the accuracy of the final inference. We observe leng","authors_text":"Christopher Pal, Koustuv Sinha, Nicolas Gontier, Siva Reddy","cross_cats":["cs.AI","cs.CL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-09-30T16:54:37Z","title":"Measuring Systematic Generalization in Neural Proof Generation with Transformers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.14786","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:99164202c1cd124a1de1f7c4b5a675753f28de61f777b0ae57881a15010e30da","target":"record","created_at":"2026-07-05T01:44:51Z","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":"eabc69b51c53d86439627c04914903a5c95b6322acbb934e06103c22cfcff417","cross_cats_sorted":["cs.AI","cs.CL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-09-30T16:54:37Z","title_canon_sha256":"98f4ad906f7f75b2e2e95d399fcb0cdc0a2a128d56e3db2e006ba4ae6461136e"},"schema_version":"1.0","source":{"id":"2009.14786","kind":"arxiv","version":2}},"canonical_sha256":"d1cc8247036c298d776ebee25abf862e22f53c4151535d2531a39b0e533a5bcc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1cc8247036c298d776ebee25abf862e22f53c4151535d2531a39b0e533a5bcc","first_computed_at":"2026-07-05T01:44:51.031715Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:44:51.031715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+lZ+t2x8tpoMSXlR1e9tFnZEOhCwTY9nyJT/Si8rZXhDHtZKO1AFvMyzwmJZoqxcs0+RtYOizVVYpRs6IF5ZBw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:44:51.032156Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.14786","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99164202c1cd124a1de1f7c4b5a675753f28de61f777b0ae57881a15010e30da","sha256:30a12dd9d0902b0780faef6b8aebe966c1ea2cfbd15b20dd42f0883b623685f9"],"state_sha256":"e47a51fee23a11213db9e6ade212e3e42eecd9650f301f53586e0eff75171f64"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L7meST8PnbpGRO3crflwnzVjO1eGGuPDqfqsLxNiUfOKC6YPR1+bL2cCNWNjrc5B5r2VhMsGr8M7yP4uEuDUBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T05:49:34.119648Z","bundle_sha256":"1476e4337b03bc8f08910f02ee088739ddcb2224c30426677c876786b6d43833"}}