{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:CJ2BQOZGRSR2ECHKGO6YJWQC53","short_pith_number":"pith:CJ2BQOZG","canonical_record":{"source":{"id":"2109.06480","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-14T07:25:36Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"57d42e2192be99f2cfc51ad49cedea4cc56a9753cec276af5ee31f2ff24389a4","abstract_canon_sha256":"de25d14b3e00875a389eacb43a83fa50f0eade90aa102887ff6a1c29bb5c1eb5"},"schema_version":"1.0"},"canonical_sha256":"1274183b268ca3a208ea33bd84da02eec363ac7e2c3d3f2b66189f0bece22d88","source":{"kind":"arxiv","id":"2109.06480","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.06480","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2109.06480v1","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.06480","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"CJ2BQOZGRSR2","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"CJ2BQOZGRSR2ECHK","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"CJ2BQOZG","created_at":"2026-07-05T03:13:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:CJ2BQOZGRSR2ECHKGO6YJWQC53","target":"record","payload":{"canonical_record":{"source":{"id":"2109.06480","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-14T07:25:36Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"57d42e2192be99f2cfc51ad49cedea4cc56a9753cec276af5ee31f2ff24389a4","abstract_canon_sha256":"de25d14b3e00875a389eacb43a83fa50f0eade90aa102887ff6a1c29bb5c1eb5"},"schema_version":"1.0"},"canonical_sha256":"1274183b268ca3a208ea33bd84da02eec363ac7e2c3d3f2b66189f0bece22d88","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:13:54.823979Z","signature_b64":"u8FnGzLVXNoSmIzh+wyNok+FsmHASzCF9kArcaEhQL4IQ3FRWvIQvefUNcz5ZyDf7QTbxa3VM7Zcefo75T1iBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1274183b268ca3a208ea33bd84da02eec363ac7e2c3d3f2b66189f0bece22d88","last_reissued_at":"2026-07-05T03:13:54.823609Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:13:54.823609Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.06480","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-05T03:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qp5kkg5WkDYZw7bhG+oRm2HUweoQqBhvEdg/HuHeJGAzNJiVOST+V25RfFjBq7JO4iUdT1AaIYi/igan7x+zCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:11:59.412197Z"},"content_sha256":"fc385689712061f5fd76e76985344596d9925f06a54ec85fab7e570ce54ac82a","schema_version":"1.0","event_id":"sha256:fc385689712061f5fd76e76985344596d9925f06a54ec85fab7e570ce54ac82a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:CJ2BQOZGRSR2ECHKGO6YJWQC53","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Qingyu Yin, Qi Shi, Ting Liu, Yu Zhang","submitted_at":"2021-09-14T07:25:36Z","abstract_excerpt":"Table-based fact verification task aims to verify whether the given statement is supported by the given semi-structured table. Symbolic reasoning with logical operations plays a crucial role in this task. Existing methods leverage programs that contain rich logical information to enhance the verification process. However, due to the lack of fully supervised signals in the program generation process, spurious programs can be derived and employed, which leads to the inability of the model to catch helpful logical operations. To address the aforementioned problems, in this work, we formulate the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.06480","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/2109.06480/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-05T03:13:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xWkSiimJ5U+R3yvZ4UG+JXYTt5/jLJ6Qqvfi6AZFQqtrC1QnC7XNGlM39UlzNYQSCEdC1Bz8ZlLi6YS5GRg2AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:11:59.413111Z"},"content_sha256":"975fd98e09befa6d22a5f4f3a61a27bbd6c966c5a83bde3b9db4746a9ab6727c","schema_version":"1.0","event_id":"sha256:975fd98e09befa6d22a5f4f3a61a27bbd6c966c5a83bde3b9db4746a9ab6727c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53/bundle.json","state_url":"https://pith.science/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53/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-18T04:11:59Z","links":{"resolver":"https://pith.science/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53","bundle":"https://pith.science/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53/bundle.json","state":"https://pith.science/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CJ2BQOZGRSR2ECHKGO6YJWQC53/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:CJ2BQOZGRSR2ECHKGO6YJWQC53","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":"de25d14b3e00875a389eacb43a83fa50f0eade90aa102887ff6a1c29bb5c1eb5","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-14T07:25:36Z","title_canon_sha256":"57d42e2192be99f2cfc51ad49cedea4cc56a9753cec276af5ee31f2ff24389a4"},"schema_version":"1.0","source":{"id":"2109.06480","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.06480","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"arxiv_version","alias_value":"2109.06480v1","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.06480","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_12","alias_value":"CJ2BQOZGRSR2","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_16","alias_value":"CJ2BQOZGRSR2ECHK","created_at":"2026-07-05T03:13:54Z"},{"alias_kind":"pith_short_8","alias_value":"CJ2BQOZG","created_at":"2026-07-05T03:13:54Z"}],"graph_snapshots":[{"event_id":"sha256:975fd98e09befa6d22a5f4f3a61a27bbd6c966c5a83bde3b9db4746a9ab6727c","target":"graph","created_at":"2026-07-05T03:13:54Z","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/2109.06480/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Table-based fact verification task aims to verify whether the given statement is supported by the given semi-structured table. Symbolic reasoning with logical operations plays a crucial role in this task. Existing methods leverage programs that contain rich logical information to enhance the verification process. However, due to the lack of fully supervised signals in the program generation process, spurious programs can be derived and employed, which leads to the inability of the model to catch helpful logical operations. To address the aforementioned problems, in this work, we formulate the ","authors_text":"Qingyu Yin, Qi Shi, Ting Liu, Yu Zhang","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-14T07:25:36Z","title":"Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.06480","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:fc385689712061f5fd76e76985344596d9925f06a54ec85fab7e570ce54ac82a","target":"record","created_at":"2026-07-05T03:13:54Z","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":"de25d14b3e00875a389eacb43a83fa50f0eade90aa102887ff6a1c29bb5c1eb5","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-14T07:25:36Z","title_canon_sha256":"57d42e2192be99f2cfc51ad49cedea4cc56a9753cec276af5ee31f2ff24389a4"},"schema_version":"1.0","source":{"id":"2109.06480","kind":"arxiv","version":1}},"canonical_sha256":"1274183b268ca3a208ea33bd84da02eec363ac7e2c3d3f2b66189f0bece22d88","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1274183b268ca3a208ea33bd84da02eec363ac7e2c3d3f2b66189f0bece22d88","first_computed_at":"2026-07-05T03:13:54.823609Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:13:54.823609Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u8FnGzLVXNoSmIzh+wyNok+FsmHASzCF9kArcaEhQL4IQ3FRWvIQvefUNcz5ZyDf7QTbxa3VM7Zcefo75T1iBA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:13:54.823979Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.06480","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc385689712061f5fd76e76985344596d9925f06a54ec85fab7e570ce54ac82a","sha256:975fd98e09befa6d22a5f4f3a61a27bbd6c966c5a83bde3b9db4746a9ab6727c"],"state_sha256":"dab576c4c715d7ba6760c32a451a4e006f320a56541eda1ff623d921be19c63a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ylQjRkXskwhUvcG5tlbX59THfDLvl8d+xS9tuy+n0IQ2NjurSP5I8atQcwiZ1fOB0yt/EjW1kxelB3NiJPOgDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T04:11:59.419634Z","bundle_sha256":"45a300080d018a0ab2c60e1326701b805aa694d6afbbadc9e16df948d53f225c"}}