{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:CBOLIDUUF5W6EEHVKRSADKWR6V","short_pith_number":"pith:CBOLIDUU","canonical_record":{"source":{"id":"2605.21160","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-20T13:27:39Z","cross_cats_sorted":[],"title_canon_sha256":"f6241f8afeaf3033e9fab2751588ab94bef238891bdd748ed81e30ead3ab6cfb","abstract_canon_sha256":"7e5ea32cc67b4563cf6d09c526cd943126fd492e4a3a4e86f206698bff6ddbfc"},"schema_version":"1.0"},"canonical_sha256":"105cb40e942f6de210f5546401aad1f55a824089e2ae757315c46bbadf367483","source":{"kind":"arxiv","id":"2605.21160","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21160","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21160v1","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21160","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"pith_short_12","alias_value":"CBOLIDUUF5W6","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"pith_short_16","alias_value":"CBOLIDUUF5W6EEHV","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"pith_short_8","alias_value":"CBOLIDUU","created_at":"2026-05-21T01:05:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:CBOLIDUUF5W6EEHVKRSADKWR6V","target":"record","payload":{"canonical_record":{"source":{"id":"2605.21160","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-20T13:27:39Z","cross_cats_sorted":[],"title_canon_sha256":"f6241f8afeaf3033e9fab2751588ab94bef238891bdd748ed81e30ead3ab6cfb","abstract_canon_sha256":"7e5ea32cc67b4563cf6d09c526cd943126fd492e4a3a4e86f206698bff6ddbfc"},"schema_version":"1.0"},"canonical_sha256":"105cb40e942f6de210f5546401aad1f55a824089e2ae757315c46bbadf367483","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T01:05:40.483441Z","signature_b64":"hDDkfGYHWQfxNRWyDRMeVEDzii5FX411gvJ/bWxvX8F8hhX1Wmr41FXmCidapkDuB/QHQqiapOb4vHz5LjbIBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"105cb40e942f6de210f5546401aad1f55a824089e2ae757315c46bbadf367483","last_reissued_at":"2026-05-21T01:05:40.482863Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T01:05:40.482863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.21160","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-05-21T01:05:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eltwzn3iQzpK84N58iD5IPJyW3bFnSxDbBOvDzH3uYtIPUDexkkNwCUFz+A9VIbivzlKJFyS/oMwWiZAeF+6BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T01:38:05.344055Z"},"content_sha256":"e3218d1580f0f96736c0e19d06849b3263cb5a5e33bd157771af4a415e7ec44b","schema_version":"1.0","event_id":"sha256:e3218d1580f0f96736c0e19d06849b3263cb5a5e33bd157771af4a415e7ec44b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:CBOLIDUUF5W6EEHVKRSADKWR6V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Jingfeng Zhong, Shuai Li, Zhengxiang Liu, Zhijie Wang","submitted_at":"2026-05-20T13:27:39Z","abstract_excerpt":"The discovery of first integrals is of fundamental scientific importance for understanding conservation laws in dynamical systems. However, existing symbolic computation tools and Large Language Models (LLMs) remain limited on this task because high-quality training data are scarce and successful solutions often depend on mathematical intuition. This paper presents FISolver, an LLM-based solver developed to address this challenge. First, we introduce a \"Backward Generation\" algorithm that systematically builds large-scale datasets of (differential equation, first integral) pairs by deriving di"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21160","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/2605.21160/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-05-21T01:05:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YJ5x5WCZqHorfOZccrwudDma2AxNEXSBQfQkGORAXu6fXEStnNuCyYk4IUd6rsPXYbnmh+ggXVuIgRtkVq2lAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T01:38:05.344478Z"},"content_sha256":"af0dc8d31e1e22fc021ef77fab6f0243c291f376d449bedb81235a112b6fa6d7","schema_version":"1.0","event_id":"sha256:af0dc8d31e1e22fc021ef77fab6f0243c291f376d449bedb81235a112b6fa6d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CBOLIDUUF5W6EEHVKRSADKWR6V/bundle.json","state_url":"https://pith.science/pith/CBOLIDUUF5W6EEHVKRSADKWR6V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CBOLIDUUF5W6EEHVKRSADKWR6V/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-05-22T01:38:05Z","links":{"resolver":"https://pith.science/pith/CBOLIDUUF5W6EEHVKRSADKWR6V","bundle":"https://pith.science/pith/CBOLIDUUF5W6EEHVKRSADKWR6V/bundle.json","state":"https://pith.science/pith/CBOLIDUUF5W6EEHVKRSADKWR6V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CBOLIDUUF5W6EEHVKRSADKWR6V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CBOLIDUUF5W6EEHVKRSADKWR6V","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":"7e5ea32cc67b4563cf6d09c526cd943126fd492e4a3a4e86f206698bff6ddbfc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-20T13:27:39Z","title_canon_sha256":"f6241f8afeaf3033e9fab2751588ab94bef238891bdd748ed81e30ead3ab6cfb"},"schema_version":"1.0","source":{"id":"2605.21160","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21160","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21160v1","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21160","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"pith_short_12","alias_value":"CBOLIDUUF5W6","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"pith_short_16","alias_value":"CBOLIDUUF5W6EEHV","created_at":"2026-05-21T01:05:40Z"},{"alias_kind":"pith_short_8","alias_value":"CBOLIDUU","created_at":"2026-05-21T01:05:40Z"}],"graph_snapshots":[{"event_id":"sha256:af0dc8d31e1e22fc021ef77fab6f0243c291f376d449bedb81235a112b6fa6d7","target":"graph","created_at":"2026-05-21T01:05:40Z","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/2605.21160/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The discovery of first integrals is of fundamental scientific importance for understanding conservation laws in dynamical systems. However, existing symbolic computation tools and Large Language Models (LLMs) remain limited on this task because high-quality training data are scarce and successful solutions often depend on mathematical intuition. This paper presents FISolver, an LLM-based solver developed to address this challenge. First, we introduce a \"Backward Generation\" algorithm that systematically builds large-scale datasets of (differential equation, first integral) pairs by deriving di","authors_text":"Jingfeng Zhong, Shuai Li, Zhengxiang Liu, Zhijie Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-20T13:27:39Z","title":"Learning First Integrals via Backward-Generated Data and Guided Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21160","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:e3218d1580f0f96736c0e19d06849b3263cb5a5e33bd157771af4a415e7ec44b","target":"record","created_at":"2026-05-21T01:05:40Z","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":"7e5ea32cc67b4563cf6d09c526cd943126fd492e4a3a4e86f206698bff6ddbfc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-05-20T13:27:39Z","title_canon_sha256":"f6241f8afeaf3033e9fab2751588ab94bef238891bdd748ed81e30ead3ab6cfb"},"schema_version":"1.0","source":{"id":"2605.21160","kind":"arxiv","version":1}},"canonical_sha256":"105cb40e942f6de210f5546401aad1f55a824089e2ae757315c46bbadf367483","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"105cb40e942f6de210f5546401aad1f55a824089e2ae757315c46bbadf367483","first_computed_at":"2026-05-21T01:05:40.482863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T01:05:40.482863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hDDkfGYHWQfxNRWyDRMeVEDzii5FX411gvJ/bWxvX8F8hhX1Wmr41FXmCidapkDuB/QHQqiapOb4vHz5LjbIBQ==","signature_status":"signed_v1","signed_at":"2026-05-21T01:05:40.483441Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.21160","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3218d1580f0f96736c0e19d06849b3263cb5a5e33bd157771af4a415e7ec44b","sha256:af0dc8d31e1e22fc021ef77fab6f0243c291f376d449bedb81235a112b6fa6d7"],"state_sha256":"ef6cf72de7d9387ccb0905ab0fef3c13624d87cc00055e9c9cbecb164816dd0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7/Wpiuf34gqPL/OsgH2hqKDaE3Dym2F6FG4XrQ2pUrJlTL/WOhc0ovfXiio+gwZ0+rWplznOhCqjLFfE0QYMCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T01:38:05.347273Z","bundle_sha256":"6d44a2fda96572265d96a3b696ef0ca6b9180be70b59ca4c3af7d5399b98481d"}}