{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IFYWSF36QBOP4OOSWJ5IKCO2R6","short_pith_number":"pith:IFYWSF36","canonical_record":{"source":{"id":"2502.09544","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-ph","submitted_at":"2025-02-13T17:58:18Z","cross_cats_sorted":["hep-th"],"title_canon_sha256":"2118fb05ba810a9bdf1b7dda89fd62e8f3d6c5cabf7195ea785f7f2f3b584aa0","abstract_canon_sha256":"9fc1472ade1ddf47eb6da175428b96bd894b6ec255cad4ac58a82a104062423a"},"schema_version":"1.0"},"canonical_sha256":"417169177e805cfe39d2b27a8509da8fab00d29d58f69ca91fc80b0302797b87","source":{"kind":"arxiv","id":"2502.09544","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09544","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09544v1","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09544","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"pith_short_12","alias_value":"IFYWSF36QBOP","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"pith_short_16","alias_value":"IFYWSF36QBOP4OOS","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"pith_short_8","alias_value":"IFYWSF36","created_at":"2026-07-05T10:13:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IFYWSF36QBOP4OOSWJ5IKCO2R6","target":"record","payload":{"canonical_record":{"source":{"id":"2502.09544","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-ph","submitted_at":"2025-02-13T17:58:18Z","cross_cats_sorted":["hep-th"],"title_canon_sha256":"2118fb05ba810a9bdf1b7dda89fd62e8f3d6c5cabf7195ea785f7f2f3b584aa0","abstract_canon_sha256":"9fc1472ade1ddf47eb6da175428b96bd894b6ec255cad4ac58a82a104062423a"},"schema_version":"1.0"},"canonical_sha256":"417169177e805cfe39d2b27a8509da8fab00d29d58f69ca91fc80b0302797b87","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:13:59.286988Z","signature_b64":"/di5WvguGuMChzohrtAfLbYRseaB9ofBPKk3ABYCaRAiLdKSKMZCuvkjSJrtwjalXPTr7lVHnkpwi0tifh+DDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"417169177e805cfe39d2b27a8509da8fab00d29d58f69ca91fc80b0302797b87","last_reissued_at":"2026-07-05T10:13:59.286493Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:13:59.286493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.09544","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-05T10:13:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8XP/BemBBoJ63SPKgFptMLhYzc+t/LCtgw4Ruc07y045/l71gIwy+OMz7CsAL3Ifn8B9Mw9wQf5N9J7y0RAnAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T22:10:34.041526Z"},"content_sha256":"127cec8e75ebd0c7c5a8c6ee6fb1ea994f78c39165209577c56ed567920677c4","schema_version":"1.0","event_id":"sha256:127cec8e75ebd0c7c5a8c6ee6fb1ea994f78c39165209577c56ed567920677c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IFYWSF36QBOP4OOSWJ5IKCO2R6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Explainable AI-assisted Optimization for Feynman Integral Reduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["hep-th"],"primary_cat":"hep-ph","authors_text":"Hua Xing Zhu, Ming-Xing Luo, Qing-Hong Cao, Tong-Zhi Yang, Zhuo-Yang Song","submitted_at":"2025-02-13T17:58:18Z","abstract_excerpt":"We present a novel approach to optimizing the reduction of Feynman integrals using integration-by-parts identities. By developing a priority function through the FunSearch algorithm, which combines large language models and genetic algorithms, we achieve significant improvements in memory usage and computational efficiency compared to traditional methods. Our approach demonstrates substantial reductions in the required seeding integrals, making previously intractable integrals more manageable. Tested on a variety of Feynman integrals, including one-loop and multi-loop cases with planar and non"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09544","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/2502.09544/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-05T10:13:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XM/a7O8pCOWYdJ4UYPOWlK3WwARzi+tTvgWUvGeEPnmSUOkwLKZOKDKAXXbDkpJahWN8q5icuZLqLBBh01xWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T22:10:34.042066Z"},"content_sha256":"de9ed118fac943b50948a3b7e806a7cc8ea6e7315defab67da2e16b570c28d23","schema_version":"1.0","event_id":"sha256:de9ed118fac943b50948a3b7e806a7cc8ea6e7315defab67da2e16b570c28d23"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6/bundle.json","state_url":"https://pith.science/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6/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-15T22:10:34Z","links":{"resolver":"https://pith.science/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6","bundle":"https://pith.science/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6/bundle.json","state":"https://pith.science/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IFYWSF36QBOP4OOSWJ5IKCO2R6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IFYWSF36QBOP4OOSWJ5IKCO2R6","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":"9fc1472ade1ddf47eb6da175428b96bd894b6ec255cad4ac58a82a104062423a","cross_cats_sorted":["hep-th"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-ph","submitted_at":"2025-02-13T17:58:18Z","title_canon_sha256":"2118fb05ba810a9bdf1b7dda89fd62e8f3d6c5cabf7195ea785f7f2f3b584aa0"},"schema_version":"1.0","source":{"id":"2502.09544","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09544","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09544v1","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09544","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"pith_short_12","alias_value":"IFYWSF36QBOP","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"pith_short_16","alias_value":"IFYWSF36QBOP4OOS","created_at":"2026-07-05T10:13:59Z"},{"alias_kind":"pith_short_8","alias_value":"IFYWSF36","created_at":"2026-07-05T10:13:59Z"}],"graph_snapshots":[{"event_id":"sha256:de9ed118fac943b50948a3b7e806a7cc8ea6e7315defab67da2e16b570c28d23","target":"graph","created_at":"2026-07-05T10:13:59Z","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/2502.09544/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a novel approach to optimizing the reduction of Feynman integrals using integration-by-parts identities. By developing a priority function through the FunSearch algorithm, which combines large language models and genetic algorithms, we achieve significant improvements in memory usage and computational efficiency compared to traditional methods. Our approach demonstrates substantial reductions in the required seeding integrals, making previously intractable integrals more manageable. Tested on a variety of Feynman integrals, including one-loop and multi-loop cases with planar and non","authors_text":"Hua Xing Zhu, Ming-Xing Luo, Qing-Hong Cao, Tong-Zhi Yang, Zhuo-Yang Song","cross_cats":["hep-th"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-ph","submitted_at":"2025-02-13T17:58:18Z","title":"Explainable AI-assisted Optimization for Feynman Integral Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09544","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:127cec8e75ebd0c7c5a8c6ee6fb1ea994f78c39165209577c56ed567920677c4","target":"record","created_at":"2026-07-05T10:13:59Z","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":"9fc1472ade1ddf47eb6da175428b96bd894b6ec255cad4ac58a82a104062423a","cross_cats_sorted":["hep-th"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"hep-ph","submitted_at":"2025-02-13T17:58:18Z","title_canon_sha256":"2118fb05ba810a9bdf1b7dda89fd62e8f3d6c5cabf7195ea785f7f2f3b584aa0"},"schema_version":"1.0","source":{"id":"2502.09544","kind":"arxiv","version":1}},"canonical_sha256":"417169177e805cfe39d2b27a8509da8fab00d29d58f69ca91fc80b0302797b87","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"417169177e805cfe39d2b27a8509da8fab00d29d58f69ca91fc80b0302797b87","first_computed_at":"2026-07-05T10:13:59.286493Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:13:59.286493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/di5WvguGuMChzohrtAfLbYRseaB9ofBPKk3ABYCaRAiLdKSKMZCuvkjSJrtwjalXPTr7lVHnkpwi0tifh+DDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:13:59.286988Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.09544","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:127cec8e75ebd0c7c5a8c6ee6fb1ea994f78c39165209577c56ed567920677c4","sha256:de9ed118fac943b50948a3b7e806a7cc8ea6e7315defab67da2e16b570c28d23"],"state_sha256":"4e5824332b0f9b0312c8ef3e1560acf66700bc1f6b09c57d25c1a3e2500e9f0c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PQXjfTNLSBet3w77l6WWxqaEMgd4yAYU2ZwwdNJN/JBLHPmbP8OGC2KTxSF8n4+xJqLk5n2G91c0QpxV0TaHCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T22:10:34.047580Z","bundle_sha256":"aabe004730fb78d928fc7d96cfd006b8dff9ada21132bc00d0d6894da3813ba0"}}