{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:GMQ4TH23WMMVMIFAHHWH4UHKR7","short_pith_number":"pith:GMQ4TH23","canonical_record":{"source":{"id":"2203.04857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-03-09T16:31:58Z","cross_cats_sorted":[],"title_canon_sha256":"410cc01155dd4204ab1cffa3614e8f9e68c48d3096a520e4cdb8544d31c7c5c5","abstract_canon_sha256":"3cd9d9c69cb12575823f13390dbc5507b38ce645bf3148786042be88f257aea3"},"schema_version":"1.0"},"canonical_sha256":"3321c99f5bb3195620a039ec7e50ea8fe76a7b2eb9f5a54977536ccd9ac3b3e6","source":{"kind":"arxiv","id":"2203.04857","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.04857","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"arxiv_version","alias_value":"2203.04857v2","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.04857","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"pith_short_12","alias_value":"GMQ4TH23WMMV","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"pith_short_16","alias_value":"GMQ4TH23WMMVMIFA","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"pith_short_8","alias_value":"GMQ4TH23","created_at":"2026-07-05T04:29:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:GMQ4TH23WMMVMIFAHHWH4UHKR7","target":"record","payload":{"canonical_record":{"source":{"id":"2203.04857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-03-09T16:31:58Z","cross_cats_sorted":[],"title_canon_sha256":"410cc01155dd4204ab1cffa3614e8f9e68c48d3096a520e4cdb8544d31c7c5c5","abstract_canon_sha256":"3cd9d9c69cb12575823f13390dbc5507b38ce645bf3148786042be88f257aea3"},"schema_version":"1.0"},"canonical_sha256":"3321c99f5bb3195620a039ec7e50ea8fe76a7b2eb9f5a54977536ccd9ac3b3e6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:29:31.272963Z","signature_b64":"O6WmYv6DuTqtYJzRC/bSZaqhh1PMmrJKE+EKisxlNaDuYE4TXeVMh/YMxw07ANC+JIMgXV8lTDyTZr4U6eehDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3321c99f5bb3195620a039ec7e50ea8fe76a7b2eb9f5a54977536ccd9ac3b3e6","last_reissued_at":"2026-07-05T04:29:31.272410Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:29:31.272410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.04857","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-05T04:29:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hYtJmkj+wU1mGU2b9II5uKnmp/CP58ktUbhzODNktRiCY2518FN31kDHvQ98fLm4wNCsoUtPHBsnGOWYC5f5BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T21:31:19.661317Z"},"content_sha256":"94477688a452849f9c01fee6e302f75e52a06025f5f074d417e996e764774609","schema_version":"1.0","event_id":"sha256:94477688a452849f9c01fee6e302f75e52a06025f5f074d417e996e764774609"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:GMQ4TH23WMMVMIFAHHWH4UHKR7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Michael Greenspan, Xiaodan Zhu, Xiaoyu Yang, Yufei Feng","submitted_at":"2022-03-09T16:31:58Z","abstract_excerpt":"We introduce a neuro-symbolic natural logic framework based on reinforcement learning with introspective revision. The model samples and rewards specific reasoning paths through policy gradient, in which the introspective revision algorithm modifies intermediate symbolic reasoning steps to discover reward-earning operations as well as leverages external knowledge to alleviate spurious reasoning and training inefficiency. The framework is supported by properly designed local relation models to avoid input entangling, which helps ensure the interpretability of the proof paths. The proposed model"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.04857","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/2203.04857/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-05T04:29:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OGu6ID2YP6sDZQSdVRv66IAwl16eVVtaw8S6cfFXCCd8kyVzULNehkkiqD5pyTbhmJVziTzVY4jSxqPPo26sBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T21:31:19.661992Z"},"content_sha256":"d08ff366069690e45f0db00d7679c4cf1a288e199df20eff9b62be3691166b51","schema_version":"1.0","event_id":"sha256:d08ff366069690e45f0db00d7679c4cf1a288e199df20eff9b62be3691166b51"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7/bundle.json","state_url":"https://pith.science/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7/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-17T21:31:19Z","links":{"resolver":"https://pith.science/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7","bundle":"https://pith.science/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7/bundle.json","state":"https://pith.science/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GMQ4TH23WMMVMIFAHHWH4UHKR7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:GMQ4TH23WMMVMIFAHHWH4UHKR7","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":"3cd9d9c69cb12575823f13390dbc5507b38ce645bf3148786042be88f257aea3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-03-09T16:31:58Z","title_canon_sha256":"410cc01155dd4204ab1cffa3614e8f9e68c48d3096a520e4cdb8544d31c7c5c5"},"schema_version":"1.0","source":{"id":"2203.04857","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.04857","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"arxiv_version","alias_value":"2203.04857v2","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.04857","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"pith_short_12","alias_value":"GMQ4TH23WMMV","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"pith_short_16","alias_value":"GMQ4TH23WMMVMIFA","created_at":"2026-07-05T04:29:31Z"},{"alias_kind":"pith_short_8","alias_value":"GMQ4TH23","created_at":"2026-07-05T04:29:31Z"}],"graph_snapshots":[{"event_id":"sha256:d08ff366069690e45f0db00d7679c4cf1a288e199df20eff9b62be3691166b51","target":"graph","created_at":"2026-07-05T04:29:31Z","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/2203.04857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a neuro-symbolic natural logic framework based on reinforcement learning with introspective revision. The model samples and rewards specific reasoning paths through policy gradient, in which the introspective revision algorithm modifies intermediate symbolic reasoning steps to discover reward-earning operations as well as leverages external knowledge to alleviate spurious reasoning and training inefficiency. The framework is supported by properly designed local relation models to avoid input entangling, which helps ensure the interpretability of the proof paths. The proposed model","authors_text":"Michael Greenspan, Xiaodan Zhu, Xiaoyu Yang, Yufei Feng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-03-09T16:31:58Z","title":"Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.04857","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:94477688a452849f9c01fee6e302f75e52a06025f5f074d417e996e764774609","target":"record","created_at":"2026-07-05T04:29:31Z","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":"3cd9d9c69cb12575823f13390dbc5507b38ce645bf3148786042be88f257aea3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2022-03-09T16:31:58Z","title_canon_sha256":"410cc01155dd4204ab1cffa3614e8f9e68c48d3096a520e4cdb8544d31c7c5c5"},"schema_version":"1.0","source":{"id":"2203.04857","kind":"arxiv","version":2}},"canonical_sha256":"3321c99f5bb3195620a039ec7e50ea8fe76a7b2eb9f5a54977536ccd9ac3b3e6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3321c99f5bb3195620a039ec7e50ea8fe76a7b2eb9f5a54977536ccd9ac3b3e6","first_computed_at":"2026-07-05T04:29:31.272410Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:29:31.272410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"O6WmYv6DuTqtYJzRC/bSZaqhh1PMmrJKE+EKisxlNaDuYE4TXeVMh/YMxw07ANC+JIMgXV8lTDyTZr4U6eehDA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:29:31.272963Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.04857","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:94477688a452849f9c01fee6e302f75e52a06025f5f074d417e996e764774609","sha256:d08ff366069690e45f0db00d7679c4cf1a288e199df20eff9b62be3691166b51"],"state_sha256":"474e80f1c42dc8b6adfbc65e7ab850a3ed44c76115d33be561fe2292607abd36"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+dEESP5W6cnWk/T1ZftftDladR5iYznV5ddQIhNxotqR2JiDslCv/glUrWX0ZOSLfePRQRr3VkojjjtLAnz2CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T21:31:19.668517Z","bundle_sha256":"f6b1cc9554a9cefc53988889e0351d1f83032fa2a0f8ce85d8bae59d1ca85e11"}}