{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:UDNMAF4HA4VXMCPI7Q4RRT43TX","short_pith_number":"pith:UDNMAF4H","canonical_record":{"source":{"id":"2504.02467","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-03T10:38:45Z","cross_cats_sorted":[],"title_canon_sha256":"7e96ba9a7131c11dd2f37995a21968dc4af011ae884f5243f41d87aee50456cf","abstract_canon_sha256":"7c79afbcf975afde2608708dedc27f48c4d0cccb7d177ace30e92eaa78224376"},"schema_version":"1.0"},"canonical_sha256":"a0dac01787072b7609e8fc3918cf9b9dc506638d3f9b371ea32e8ec1d1e5013e","source":{"kind":"arxiv","id":"2504.02467","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.02467","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"arxiv_version","alias_value":"2504.02467v3","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.02467","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"pith_short_12","alias_value":"UDNMAF4HA4VX","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"pith_short_16","alias_value":"UDNMAF4HA4VXMCPI","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"pith_short_8","alias_value":"UDNMAF4H","created_at":"2026-07-05T11:46:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:UDNMAF4HA4VXMCPI7Q4RRT43TX","target":"record","payload":{"canonical_record":{"source":{"id":"2504.02467","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-03T10:38:45Z","cross_cats_sorted":[],"title_canon_sha256":"7e96ba9a7131c11dd2f37995a21968dc4af011ae884f5243f41d87aee50456cf","abstract_canon_sha256":"7c79afbcf975afde2608708dedc27f48c4d0cccb7d177ace30e92eaa78224376"},"schema_version":"1.0"},"canonical_sha256":"a0dac01787072b7609e8fc3918cf9b9dc506638d3f9b371ea32e8ec1d1e5013e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:41.694276Z","signature_b64":"cZeAQk/WXiTJUf/o0LHBBOqGUngH2mU1tn7fO/OfRZ6qzCHeH8zZIuMJs7Tbs7eGXL0fMi7PTS9pqLpwfcfdBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a0dac01787072b7609e8fc3918cf9b9dc506638d3f9b371ea32e8ec1d1e5013e","last_reissued_at":"2026-07-05T11:46:41.693815Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:41.693815Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.02467","source_version":3,"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-05T11:46:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fgPDnk9VsUB2pLxTk9V72caL+ehjtBSn5DjLmnmPs3QBho59STMaaejYAm05J5rN1AmQ67Q2y7DVH7ZN7o7RAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:25:47.452930Z"},"content_sha256":"9e36c06801234a19c3e3f983961dd66d70c585adc2ba76cdf0439cc8a944ec4c","schema_version":"1.0","event_id":"sha256:9e36c06801234a19c3e3f983961dd66d70c585adc2ba76cdf0439cc8a944ec4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:UDNMAF4HA4VXMCPI7Q4RRT43TX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"BOOST: Bootstrapping Strategy-Driven Reasoning Programs for Program-Guided Fact-Checking","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Qisheng Hu, Quanyu Long, Wenya Wang","submitted_at":"2025-04-03T10:38:45Z","abstract_excerpt":"Large language model pipelines have improved automated fact-checking for complex claims, yet many approaches rely on few-shot in-context learning with demonstrations that require substantial human effort and domain expertise. Among these, program-guided reasoning, by decomposing claims into function calls and executing reasoning programs, which has shown particular promise, but remains limited by the need for manually crafted demonstrations. Fundamentally, the underlying principles of effective reasoning program generation still remain underexplored. In this work, we introduce BOOST, a bootstr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.02467","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/2504.02467/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-05T11:46:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o4JuJ3GU8QWNYNq+Bft7VyIRrDyGwZ9GkKRN5NyoSePmbJtIttklz3sbV6iOjqGDpcFAbgihr6vzQvbyTPajAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:25:47.453428Z"},"content_sha256":"9d1627d55d2891ab859a60a2af42256b13b8ad6053adae044323c1d1274012d0","schema_version":"1.0","event_id":"sha256:9d1627d55d2891ab859a60a2af42256b13b8ad6053adae044323c1d1274012d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX/bundle.json","state_url":"https://pith.science/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX/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-08T11:25:47Z","links":{"resolver":"https://pith.science/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX","bundle":"https://pith.science/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX/bundle.json","state":"https://pith.science/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UDNMAF4HA4VXMCPI7Q4RRT43TX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UDNMAF4HA4VXMCPI7Q4RRT43TX","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":"7c79afbcf975afde2608708dedc27f48c4d0cccb7d177ace30e92eaa78224376","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-03T10:38:45Z","title_canon_sha256":"7e96ba9a7131c11dd2f37995a21968dc4af011ae884f5243f41d87aee50456cf"},"schema_version":"1.0","source":{"id":"2504.02467","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.02467","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"arxiv_version","alias_value":"2504.02467v3","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.02467","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"pith_short_12","alias_value":"UDNMAF4HA4VX","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"pith_short_16","alias_value":"UDNMAF4HA4VXMCPI","created_at":"2026-07-05T11:46:41Z"},{"alias_kind":"pith_short_8","alias_value":"UDNMAF4H","created_at":"2026-07-05T11:46:41Z"}],"graph_snapshots":[{"event_id":"sha256:9d1627d55d2891ab859a60a2af42256b13b8ad6053adae044323c1d1274012d0","target":"graph","created_at":"2026-07-05T11:46:41Z","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/2504.02467/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language model pipelines have improved automated fact-checking for complex claims, yet many approaches rely on few-shot in-context learning with demonstrations that require substantial human effort and domain expertise. Among these, program-guided reasoning, by decomposing claims into function calls and executing reasoning programs, which has shown particular promise, but remains limited by the need for manually crafted demonstrations. Fundamentally, the underlying principles of effective reasoning program generation still remain underexplored. In this work, we introduce BOOST, a bootstr","authors_text":"Qisheng Hu, Quanyu Long, Wenya Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-03T10:38:45Z","title":"BOOST: Bootstrapping Strategy-Driven Reasoning Programs for Program-Guided Fact-Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.02467","kind":"arxiv","version":3},"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:9e36c06801234a19c3e3f983961dd66d70c585adc2ba76cdf0439cc8a944ec4c","target":"record","created_at":"2026-07-05T11:46:41Z","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":"7c79afbcf975afde2608708dedc27f48c4d0cccb7d177ace30e92eaa78224376","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-03T10:38:45Z","title_canon_sha256":"7e96ba9a7131c11dd2f37995a21968dc4af011ae884f5243f41d87aee50456cf"},"schema_version":"1.0","source":{"id":"2504.02467","kind":"arxiv","version":3}},"canonical_sha256":"a0dac01787072b7609e8fc3918cf9b9dc506638d3f9b371ea32e8ec1d1e5013e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a0dac01787072b7609e8fc3918cf9b9dc506638d3f9b371ea32e8ec1d1e5013e","first_computed_at":"2026-07-05T11:46:41.693815Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:41.693815Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cZeAQk/WXiTJUf/o0LHBBOqGUngH2mU1tn7fO/OfRZ6qzCHeH8zZIuMJs7Tbs7eGXL0fMi7PTS9pqLpwfcfdBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:41.694276Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.02467","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e36c06801234a19c3e3f983961dd66d70c585adc2ba76cdf0439cc8a944ec4c","sha256:9d1627d55d2891ab859a60a2af42256b13b8ad6053adae044323c1d1274012d0"],"state_sha256":"f59cb22563bed4ecc5ffb2ecba24d51fff84fc8d6f098e4c3ae4e061af2b911c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ueEWwjeJanSpue44cdNEgPu33id3U1PG/LY3UHOE7hCdgJbElRihboE0WdDaXe5gAs/7IwtcI7yPDSBDSalCDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:25:47.457702Z","bundle_sha256":"f8474e090087da0bcb879e8f55dd08b7316cbe0b4b747b6714a87f7db1843483"}}