{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:IJEDX36HSMO2SKCFG63MUMG3C3","short_pith_number":"pith:IJEDX36H","canonical_record":{"source":{"id":"2405.14620","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-23T14:29:15Z","cross_cats_sorted":[],"title_canon_sha256":"674f8bf9c321b109f9c96097cd8afb75d59b278835b1712e92fa8253aaa7b2db","abstract_canon_sha256":"5a031111e3eb41a7e002b17a9ed37e6cc206b9486b041b28aa077cd9dc6c8a55"},"schema_version":"1.0"},"canonical_sha256":"42483befc7931da9284537b6ca30db16e17231cff67d047467c28fa094abba1c","source":{"kind":"arxiv","id":"2405.14620","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.14620","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"arxiv_version","alias_value":"2405.14620v4","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.14620","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"pith_short_12","alias_value":"IJEDX36HSMO2","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"pith_short_16","alias_value":"IJEDX36HSMO2SKCF","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"pith_short_8","alias_value":"IJEDX36H","created_at":"2026-07-05T11:40:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:IJEDX36HSMO2SKCFG63MUMG3C3","target":"record","payload":{"canonical_record":{"source":{"id":"2405.14620","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-23T14:29:15Z","cross_cats_sorted":[],"title_canon_sha256":"674f8bf9c321b109f9c96097cd8afb75d59b278835b1712e92fa8253aaa7b2db","abstract_canon_sha256":"5a031111e3eb41a7e002b17a9ed37e6cc206b9486b041b28aa077cd9dc6c8a55"},"schema_version":"1.0"},"canonical_sha256":"42483befc7931da9284537b6ca30db16e17231cff67d047467c28fa094abba1c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:30.466784Z","signature_b64":"v+oX6DLMaHNaTsF57LZBkuYcumAAZq5N+5h2wq0YTfD9B4Ab/SeiMK5NBvJ5K9Ln9t1s7PTz4tZufl0RwFrFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"42483befc7931da9284537b6ca30db16e17231cff67d047467c28fa094abba1c","last_reissued_at":"2026-07-05T11:40:30.466258Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:30.466258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.14620","source_version":4,"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:40:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pG8GqdmPx98nhGuDapheG+hKzuqEwm4fCteleMoDhsFxQIaACIyhexIQwxwtyy69xOXZxNhyOFe7HbnpqXQJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:48:05.307853Z"},"content_sha256":"ee0c2f3886122ef8ce77ac45dcb514a54ff1a56d4eee1bdf94b3ebb176b7f90e","schema_version":"1.0","event_id":"sha256:ee0c2f3886122ef8ce77ac45dcb514a54ff1a56d4eee1bdf94b3ebb176b7f90e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:IJEDX36HSMO2SKCFG63MUMG3C3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Closed-form Solutions: A New Perspective on Solving Differential Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Hong Qin, Jingyi Liu, Jufeng Han, Lina Yu, Linjun Sun, Min Wu, Shu Wei, Weijun Li, Yanjie Li, Yan Pang, Yusong Deng","submitted_at":"2024-05-23T14:29:15Z","abstract_excerpt":"The quest for analytical solutions to differential equations has traditionally been constrained by the need for extensive mathematical expertise. Machine learning methods like genetic algorithms have shown promise in this domain, but are hindered by significant computational time and the complexity of their derived solutions. This paper introduces SSDE (Symbolic Solver for Differential Equations), a novel reinforcement learning-based approach that derives symbolic closed-form solutions for various differential equations. Evaluations across a diverse set of ordinary and partial differential equ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.14620","kind":"arxiv","version":4},"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/2405.14620/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:40:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bs9VKaJ1pWvIhOu20OTEzz9jeDT6SoA9Lvn5dOXQibXCKeWXel4+Ux+9t4ysHOjGORkzhCkyI9bOldt60iUHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:48:05.308375Z"},"content_sha256":"f1c82eccec932711e74f10681c4aafe02a526e34a5813663bb715dafacf3541a","schema_version":"1.0","event_id":"sha256:f1c82eccec932711e74f10681c4aafe02a526e34a5813663bb715dafacf3541a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/bundle.json","state_url":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IJEDX36HSMO2SKCFG63MUMG3C3/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-03T17:48:05Z","links":{"resolver":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3","bundle":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/bundle.json","state":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IJEDX36HSMO2SKCFG63MUMG3C3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:IJEDX36HSMO2SKCFG63MUMG3C3","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":"5a031111e3eb41a7e002b17a9ed37e6cc206b9486b041b28aa077cd9dc6c8a55","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-23T14:29:15Z","title_canon_sha256":"674f8bf9c321b109f9c96097cd8afb75d59b278835b1712e92fa8253aaa7b2db"},"schema_version":"1.0","source":{"id":"2405.14620","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.14620","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"arxiv_version","alias_value":"2405.14620v4","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.14620","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"pith_short_12","alias_value":"IJEDX36HSMO2","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"pith_short_16","alias_value":"IJEDX36HSMO2SKCF","created_at":"2026-07-05T11:40:30Z"},{"alias_kind":"pith_short_8","alias_value":"IJEDX36H","created_at":"2026-07-05T11:40:30Z"}],"graph_snapshots":[{"event_id":"sha256:f1c82eccec932711e74f10681c4aafe02a526e34a5813663bb715dafacf3541a","target":"graph","created_at":"2026-07-05T11:40:30Z","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/2405.14620/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The quest for analytical solutions to differential equations has traditionally been constrained by the need for extensive mathematical expertise. Machine learning methods like genetic algorithms have shown promise in this domain, but are hindered by significant computational time and the complexity of their derived solutions. This paper introduces SSDE (Symbolic Solver for Differential Equations), a novel reinforcement learning-based approach that derives symbolic closed-form solutions for various differential equations. Evaluations across a diverse set of ordinary and partial differential equ","authors_text":"Hong Qin, Jingyi Liu, Jufeng Han, Lina Yu, Linjun Sun, Min Wu, Shu Wei, Weijun Li, Yanjie Li, Yan Pang, Yusong Deng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-23T14:29:15Z","title":"Closed-form Solutions: A New Perspective on Solving Differential Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.14620","kind":"arxiv","version":4},"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:ee0c2f3886122ef8ce77ac45dcb514a54ff1a56d4eee1bdf94b3ebb176b7f90e","target":"record","created_at":"2026-07-05T11:40:30Z","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":"5a031111e3eb41a7e002b17a9ed37e6cc206b9486b041b28aa077cd9dc6c8a55","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-23T14:29:15Z","title_canon_sha256":"674f8bf9c321b109f9c96097cd8afb75d59b278835b1712e92fa8253aaa7b2db"},"schema_version":"1.0","source":{"id":"2405.14620","kind":"arxiv","version":4}},"canonical_sha256":"42483befc7931da9284537b6ca30db16e17231cff67d047467c28fa094abba1c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42483befc7931da9284537b6ca30db16e17231cff67d047467c28fa094abba1c","first_computed_at":"2026-07-05T11:40:30.466258Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:40:30.466258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v+oX6DLMaHNaTsF57LZBkuYcumAAZq5N+5h2wq0YTfD9B4Ab/SeiMK5NBvJ5K9Ln9t1s7PTz4tZufl0RwFrFDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:40:30.466784Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.14620","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee0c2f3886122ef8ce77ac45dcb514a54ff1a56d4eee1bdf94b3ebb176b7f90e","sha256:f1c82eccec932711e74f10681c4aafe02a526e34a5813663bb715dafacf3541a"],"state_sha256":"6717b38d8f018e3c64c47e5d144377fe4b564986bb6c21ce5a293d934b368746"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AJ2lY0RK1SLWHATwkyScyMBbRwxL/7ZzSHAx82LTJSH+LwqUyvLoZWOa8BEDMsgEr2eY7r8hb+DlVyz3Pu+qCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:48:05.313491Z","bundle_sha256":"fb15853748111bd19f68b33f0751b9742cc2dcb4169fb9c20f3fe55aada0fdcc"}}