{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:EROEFFFNI4JTCNRNM2S6PKI5PB","short_pith_number":"pith:EROEFFFN","canonical_record":{"source":{"id":"2311.13720","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-11-22T22:27:47Z","cross_cats_sorted":[],"title_canon_sha256":"35a8e11218866c19a0ca295a992b1cc5e94e2e0912b7a766c1917cd53170caf8","abstract_canon_sha256":"ffb0ea90d77086722d6786da1cc5835e2f31954bb6eb8d1165d39e31e8698b21"},"schema_version":"1.0"},"canonical_sha256":"245c4294ad471331362d66a5e7a91d787af9d6581756dbd0d053be3903581f25","source":{"kind":"arxiv","id":"2311.13720","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.13720","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"arxiv_version","alias_value":"2311.13720v2","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.13720","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"pith_short_12","alias_value":"EROEFFFNI4JT","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"pith_short_16","alias_value":"EROEFFFNI4JTCNRN","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"pith_short_8","alias_value":"EROEFFFN","created_at":"2026-07-05T07:52:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:EROEFFFNI4JTCNRNM2S6PKI5PB","target":"record","payload":{"canonical_record":{"source":{"id":"2311.13720","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-11-22T22:27:47Z","cross_cats_sorted":[],"title_canon_sha256":"35a8e11218866c19a0ca295a992b1cc5e94e2e0912b7a766c1917cd53170caf8","abstract_canon_sha256":"ffb0ea90d77086722d6786da1cc5835e2f31954bb6eb8d1165d39e31e8698b21"},"schema_version":"1.0"},"canonical_sha256":"245c4294ad471331362d66a5e7a91d787af9d6581756dbd0d053be3903581f25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:52:14.157423Z","signature_b64":"v3QHmABDbLwDNSeBjXCaSE2sF0OuWGBwWxwwkmM01RgzQQN3iG/cN9bkE44qPBn/HipzMMjwrBJyUGEJYddrDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"245c4294ad471331362d66a5e7a91d787af9d6581756dbd0d053be3903581f25","last_reissued_at":"2026-07-05T07:52:14.156958Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:52:14.156958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.13720","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-05T07:52:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CQx6jVj/q+dUSav4gXV2hV/nc3ndGEpZXjqYzp38BNz54zqArZeJqJyeTcYjEs2NgCY7KDbnCCmR9wSo3hKIDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:37:12.650140Z"},"content_sha256":"686640357d3c2e6a31913d6acbcaf803b1d4eeaf0410ffd1714c604f215c66cd","schema_version":"1.0","event_id":"sha256:686640357d3c2e6a31913d6acbcaf803b1d4eeaf0410ffd1714c604f215c66cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:EROEFFFNI4JTCNRNM2S6PKI5PB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Michael Katz, Sarath Sreedharan, Sirine Belhaj, Tathagata Chakraborti, Turgay Caglar","submitted_at":"2023-11-22T22:27:47Z","abstract_excerpt":"This is the first work to look at the application of large language models (LLMs) for the purpose of model space edits in automated planning tasks. To set the stage for this union, we explore two different flavors of model space problems that have been studied in the AI planning literature and explore the effect of an LLM on those tasks. We empirically demonstrate how the performance of an LLM contrasts with combinatorial search (CS) -- an approach that has been traditionally used to solve model space tasks in planning, both with the LLM in the role of a standalone model space reasoner as well"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.13720","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/2311.13720/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-05T07:52:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OZ/VY8BqN3V2ZPlN7uUe3uj6pZLeMkq9IrUvAGuE8AXtOSgadQdRqn5RofLDkJbdqxhVzVrRivqEqXdfBIcWCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:37:12.650539Z"},"content_sha256":"70bb0b4140dcb97fb9823def6b4c880fbe41f1508af58bb51dfea15dd7405dd5","schema_version":"1.0","event_id":"sha256:70bb0b4140dcb97fb9823def6b4c880fbe41f1508af58bb51dfea15dd7405dd5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EROEFFFNI4JTCNRNM2S6PKI5PB/bundle.json","state_url":"https://pith.science/pith/EROEFFFNI4JTCNRNM2S6PKI5PB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EROEFFFNI4JTCNRNM2S6PKI5PB/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-07T12:37:12Z","links":{"resolver":"https://pith.science/pith/EROEFFFNI4JTCNRNM2S6PKI5PB","bundle":"https://pith.science/pith/EROEFFFNI4JTCNRNM2S6PKI5PB/bundle.json","state":"https://pith.science/pith/EROEFFFNI4JTCNRNM2S6PKI5PB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EROEFFFNI4JTCNRNM2S6PKI5PB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:EROEFFFNI4JTCNRNM2S6PKI5PB","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":"ffb0ea90d77086722d6786da1cc5835e2f31954bb6eb8d1165d39e31e8698b21","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-11-22T22:27:47Z","title_canon_sha256":"35a8e11218866c19a0ca295a992b1cc5e94e2e0912b7a766c1917cd53170caf8"},"schema_version":"1.0","source":{"id":"2311.13720","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.13720","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"arxiv_version","alias_value":"2311.13720v2","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.13720","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"pith_short_12","alias_value":"EROEFFFNI4JT","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"pith_short_16","alias_value":"EROEFFFNI4JTCNRN","created_at":"2026-07-05T07:52:14Z"},{"alias_kind":"pith_short_8","alias_value":"EROEFFFN","created_at":"2026-07-05T07:52:14Z"}],"graph_snapshots":[{"event_id":"sha256:70bb0b4140dcb97fb9823def6b4c880fbe41f1508af58bb51dfea15dd7405dd5","target":"graph","created_at":"2026-07-05T07:52:14Z","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/2311.13720/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This is the first work to look at the application of large language models (LLMs) for the purpose of model space edits in automated planning tasks. To set the stage for this union, we explore two different flavors of model space problems that have been studied in the AI planning literature and explore the effect of an LLM on those tasks. We empirically demonstrate how the performance of an LLM contrasts with combinatorial search (CS) -- an approach that has been traditionally used to solve model space tasks in planning, both with the LLM in the role of a standalone model space reasoner as well","authors_text":"Michael Katz, Sarath Sreedharan, Sirine Belhaj, Tathagata Chakraborti, Turgay Caglar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-11-22T22:27:47Z","title":"Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.13720","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:686640357d3c2e6a31913d6acbcaf803b1d4eeaf0410ffd1714c604f215c66cd","target":"record","created_at":"2026-07-05T07:52:14Z","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":"ffb0ea90d77086722d6786da1cc5835e2f31954bb6eb8d1165d39e31e8698b21","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-11-22T22:27:47Z","title_canon_sha256":"35a8e11218866c19a0ca295a992b1cc5e94e2e0912b7a766c1917cd53170caf8"},"schema_version":"1.0","source":{"id":"2311.13720","kind":"arxiv","version":2}},"canonical_sha256":"245c4294ad471331362d66a5e7a91d787af9d6581756dbd0d053be3903581f25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"245c4294ad471331362d66a5e7a91d787af9d6581756dbd0d053be3903581f25","first_computed_at":"2026-07-05T07:52:14.156958Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:52:14.156958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v3QHmABDbLwDNSeBjXCaSE2sF0OuWGBwWxwwkmM01RgzQQN3iG/cN9bkE44qPBn/HipzMMjwrBJyUGEJYddrDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:52:14.157423Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.13720","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:686640357d3c2e6a31913d6acbcaf803b1d4eeaf0410ffd1714c604f215c66cd","sha256:70bb0b4140dcb97fb9823def6b4c880fbe41f1508af58bb51dfea15dd7405dd5"],"state_sha256":"673c9fb6ae22f72e41c4912fa32fa54f47b33edb18248415340ae65406f91f6f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aGQYZmcj4ruRiLi/ASNWIcKWGEWoBbg0B5uAjYakvhIiAOmby+3zrAT8bQ0XgNQxp0Kr5mCXK0ncWjyqhSnqDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T12:37:12.652589Z","bundle_sha256":"fe25066e9e1c24cd9991edfd385175a4e750533f84c1e81852aba9927a79c478"}}