{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:3L2IL34DLOTAOJME63M4V6FYYF","short_pith_number":"pith:3L2IL34D","canonical_record":{"source":{"id":"2212.08681","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-12-16T19:06:49Z","cross_cats_sorted":[],"title_canon_sha256":"60b123236e2563221f1b0997afb69f85320ef4bb36b4f23efbef5dfab704efec","abstract_canon_sha256":"5f4513a615928297a2705a3379d3cac1ac592e8e88b60162e8c1bd45d4ae5d81"},"schema_version":"1.0"},"canonical_sha256":"daf485ef835ba6072584f6d9caf8b8c1744b285475c4e73ba28b2f4941ee92e4","source":{"kind":"arxiv","id":"2212.08681","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.08681","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"arxiv_version","alias_value":"2212.08681v1","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.08681","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"pith_short_12","alias_value":"3L2IL34DLOTA","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"pith_short_16","alias_value":"3L2IL34DLOTAOJME","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"pith_short_8","alias_value":"3L2IL34D","created_at":"2026-07-05T05:26:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:3L2IL34DLOTAOJME63M4V6FYYF","target":"record","payload":{"canonical_record":{"source":{"id":"2212.08681","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-12-16T19:06:49Z","cross_cats_sorted":[],"title_canon_sha256":"60b123236e2563221f1b0997afb69f85320ef4bb36b4f23efbef5dfab704efec","abstract_canon_sha256":"5f4513a615928297a2705a3379d3cac1ac592e8e88b60162e8c1bd45d4ae5d81"},"schema_version":"1.0"},"canonical_sha256":"daf485ef835ba6072584f6d9caf8b8c1744b285475c4e73ba28b2f4941ee92e4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:26:13.191658Z","signature_b64":"e3p9FfjmCe5A7u9N72scOw1rI7Ni0KKqAmu/WGbN2Y8BAU6nzFs9jLJtCQMOacDNTY5o6jegpgGdzrGmo3kGAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daf485ef835ba6072584f6d9caf8b8c1744b285475c4e73ba28b2f4941ee92e4","last_reissued_at":"2026-07-05T05:26:13.191149Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:26:13.191149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.08681","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-05T05:26:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HJLUn5XSKrn1oUYM4HvEJodkKpYRFmHyf3Nxq5i6lM1aKZJmOReke0l1eXJZ0go6UqR5pgHbhKV/0YC+qkavCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T19:21:14.435392Z"},"content_sha256":"3a033224c401a3b8d7c48aba8ce7cebd3877f03ecd267d8bbd24a90ece4a0db6","schema_version":"1.0","event_id":"sha256:3a033224c401a3b8d7c48aba8ce7cebd3877f03ecd267d8bbd24a90ece4a0db6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:3L2IL34DLOTAOJME63M4V6FYYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Plansformer: Generating Symbolic Plans using Transformers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andrea Loreggia, Bharath Muppasani, Biplav Srivastava, Francesca Rossi, Francesco Fabiano, Keerthiram Murugesan, Lior Horesh, Vishal Pallagani","submitted_at":"2022-12-16T19:06:49Z","abstract_excerpt":"Large Language Models (LLMs) have been the subject of active research, significantly advancing the field of Natural Language Processing (NLP). From BERT to BLOOM, LLMs have surpassed state-of-the-art results in various natural language tasks such as question answering, summarization, and text generation. Many ongoing efforts focus on understanding LLMs' capabilities, including their knowledge of the world, syntax, and semantics. However, extending the textual prowess of LLMs to symbolic reasoning has been slow and predominantly focused on tackling problems related to the mathematical field. In"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.08681","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/2212.08681/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:26:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FduAAvcgq9fBx1n6OJplJ5FXkekN1YQiT19HLOYkp+KNO+7J0R3RZLeAK0ULX2rEjR+B3Ds1z8oYQMsfr5QWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T19:21:14.435921Z"},"content_sha256":"8ded3d816f110eef1e8bd7f05a34d513ff2b414fd4590cf2d8842bbd18be4bee","schema_version":"1.0","event_id":"sha256:8ded3d816f110eef1e8bd7f05a34d513ff2b414fd4590cf2d8842bbd18be4bee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3L2IL34DLOTAOJME63M4V6FYYF/bundle.json","state_url":"https://pith.science/pith/3L2IL34DLOTAOJME63M4V6FYYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3L2IL34DLOTAOJME63M4V6FYYF/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-09T19:21:14Z","links":{"resolver":"https://pith.science/pith/3L2IL34DLOTAOJME63M4V6FYYF","bundle":"https://pith.science/pith/3L2IL34DLOTAOJME63M4V6FYYF/bundle.json","state":"https://pith.science/pith/3L2IL34DLOTAOJME63M4V6FYYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3L2IL34DLOTAOJME63M4V6FYYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:3L2IL34DLOTAOJME63M4V6FYYF","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":"5f4513a615928297a2705a3379d3cac1ac592e8e88b60162e8c1bd45d4ae5d81","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-12-16T19:06:49Z","title_canon_sha256":"60b123236e2563221f1b0997afb69f85320ef4bb36b4f23efbef5dfab704efec"},"schema_version":"1.0","source":{"id":"2212.08681","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.08681","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"arxiv_version","alias_value":"2212.08681v1","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.08681","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"pith_short_12","alias_value":"3L2IL34DLOTA","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"pith_short_16","alias_value":"3L2IL34DLOTAOJME","created_at":"2026-07-05T05:26:13Z"},{"alias_kind":"pith_short_8","alias_value":"3L2IL34D","created_at":"2026-07-05T05:26:13Z"}],"graph_snapshots":[{"event_id":"sha256:8ded3d816f110eef1e8bd7f05a34d513ff2b414fd4590cf2d8842bbd18be4bee","target":"graph","created_at":"2026-07-05T05:26:13Z","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/2212.08681/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have been the subject of active research, significantly advancing the field of Natural Language Processing (NLP). From BERT to BLOOM, LLMs have surpassed state-of-the-art results in various natural language tasks such as question answering, summarization, and text generation. Many ongoing efforts focus on understanding LLMs' capabilities, including their knowledge of the world, syntax, and semantics. However, extending the textual prowess of LLMs to symbolic reasoning has been slow and predominantly focused on tackling problems related to the mathematical field. In","authors_text":"Andrea Loreggia, Bharath Muppasani, Biplav Srivastava, Francesca Rossi, Francesco Fabiano, Keerthiram Murugesan, Lior Horesh, Vishal Pallagani","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-12-16T19:06:49Z","title":"Plansformer: Generating Symbolic Plans using Transformers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.08681","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:3a033224c401a3b8d7c48aba8ce7cebd3877f03ecd267d8bbd24a90ece4a0db6","target":"record","created_at":"2026-07-05T05:26:13Z","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":"5f4513a615928297a2705a3379d3cac1ac592e8e88b60162e8c1bd45d4ae5d81","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-12-16T19:06:49Z","title_canon_sha256":"60b123236e2563221f1b0997afb69f85320ef4bb36b4f23efbef5dfab704efec"},"schema_version":"1.0","source":{"id":"2212.08681","kind":"arxiv","version":1}},"canonical_sha256":"daf485ef835ba6072584f6d9caf8b8c1744b285475c4e73ba28b2f4941ee92e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"daf485ef835ba6072584f6d9caf8b8c1744b285475c4e73ba28b2f4941ee92e4","first_computed_at":"2026-07-05T05:26:13.191149Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:26:13.191149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e3p9FfjmCe5A7u9N72scOw1rI7Ni0KKqAmu/WGbN2Y8BAU6nzFs9jLJtCQMOacDNTY5o6jegpgGdzrGmo3kGAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:26:13.191658Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.08681","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a033224c401a3b8d7c48aba8ce7cebd3877f03ecd267d8bbd24a90ece4a0db6","sha256:8ded3d816f110eef1e8bd7f05a34d513ff2b414fd4590cf2d8842bbd18be4bee"],"state_sha256":"24b500d3ad2e42991048de1805b1d1c41398176f8883e74969e3c6ef9ce43e96"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aA61uRaitS9RKM5u43G7xZB128aoWCExKpg0Qd2hpq+eDBTrNf/6jr3hsf3T/gNG9DD3YgD5Cs+c8Pjx/TxjCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T19:21:14.441651Z","bundle_sha256":"a2b8c3a1d87b67c498bc2d9e9e6ae10320709787ba03bece32bb091c61eedf42"}}