{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:GFRWX2LCWGHOVHMO4QTFIFBMKL","short_pith_number":"pith:GFRWX2LC","schema_version":"1.0","canonical_sha256":"31636be962b18eea9d8ee42654142c52f537f6a62f61c209a530a78ce5cc89b8","source":{"kind":"arxiv","id":"2303.13638","version":3},"attestation_state":"computed","paper":{"title":"Planning as Theorem Proving with Heuristics","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Mikhail Soutchanski, Ryan Young","submitted_at":"2023-03-23T19:52:30Z","abstract_excerpt":"Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that searches for a plan in a tree of situations using the A* search algorithm. It is controlled by a delete relaxation-based domain independent heuristic. We compare TPLH with Fast Downward (FD) and Best First Width Search (BFWS) planners over several standard benchmarks. Since our implementation of the heuristic function is not optimized, TPLH is slower than FD and BFWS. But it computes shorter plans, and it explores fe"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2303.13638","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2023-03-23T19:52:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"da07d18b8bb731d454cd418c0990cb6d7c21c39cbeb432d50bf7ee13ad630b82","abstract_canon_sha256":"e81ab95d0d11f179bab72bdb7ffa07eaf5347656b114d8436c777183b799e45a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:22:02.031222Z","signature_b64":"CtABWEYA2QrmC1aAELpkFbUci1cOn0M5WIIJJchV7sPKsY2ZNWM4tRmRMLi1O9hyQx1UYu6vxi9CNyZYE0doAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31636be962b18eea9d8ee42654142c52f537f6a62f61c209a530a78ce5cc89b8","last_reissued_at":"2026-07-05T06:22:02.030729Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:22:02.030729Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Planning as Theorem Proving with Heuristics","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Mikhail Soutchanski, Ryan Young","submitted_at":"2023-03-23T19:52:30Z","abstract_excerpt":"Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that searches for a plan in a tree of situations using the A* search algorithm. It is controlled by a delete relaxation-based domain independent heuristic. We compare TPLH with Fast Downward (FD) and Best First Width Search (BFWS) planners over several standard benchmarks. Since our implementation of the heuristic function is not optimized, TPLH is slower than FD and BFWS. But it computes shorter plans, and it explores fe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.13638","kind":"arxiv","version":3},"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/2303.13638/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2303.13638","created_at":"2026-07-05T06:22:02.030786+00:00"},{"alias_kind":"arxiv_version","alias_value":"2303.13638v3","created_at":"2026-07-05T06:22:02.030786+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.13638","created_at":"2026-07-05T06:22:02.030786+00:00"},{"alias_kind":"pith_short_12","alias_value":"GFRWX2LCWGHO","created_at":"2026-07-05T06:22:02.030786+00:00"},{"alias_kind":"pith_short_16","alias_value":"GFRWX2LCWGHOVHMO","created_at":"2026-07-05T06:22:02.030786+00:00"},{"alias_kind":"pith_short_8","alias_value":"GFRWX2LC","created_at":"2026-07-05T06:22:02.030786+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.22991","citing_title":"Resilient-Native and Intelligent Next-Generation Wireless Systems: Key Enablers, Foundations, and Applications","ref_index":51,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL","json":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL.json","graph_json":"https://pith.science/api/pith-number/GFRWX2LCWGHOVHMO4QTFIFBMKL/graph.json","events_json":"https://pith.science/api/pith-number/GFRWX2LCWGHOVHMO4QTFIFBMKL/events.json","paper":"https://pith.science/paper/GFRWX2LC"},"agent_actions":{"view_html":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL","download_json":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL.json","view_paper":"https://pith.science/paper/GFRWX2LC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2303.13638&json=true","fetch_graph":"https://pith.science/api/pith-number/GFRWX2LCWGHOVHMO4QTFIFBMKL/graph.json","fetch_events":"https://pith.science/api/pith-number/GFRWX2LCWGHOVHMO4QTFIFBMKL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL/action/storage_attestation","attest_author":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL/action/author_attestation","sign_citation":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL/action/citation_signature","submit_replication":"https://pith.science/pith/GFRWX2LCWGHOVHMO4QTFIFBMKL/action/replication_record"}},"created_at":"2026-07-05T06:22:02.030786+00:00","updated_at":"2026-07-05T06:22:02.030786+00:00"}