{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:IJEDX36HSMO2SKCFG63MUMG3C3","short_pith_number":"pith:IJEDX36H","schema_version":"1.0","canonical_sha256":"42483befc7931da9284537b6ca30db16e17231cff67d047467c28fa094abba1c","source":{"kind":"arxiv","id":"2405.14620","version":4},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2405.14620","created_at":"2026-07-05T11:40:30.466328+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.14620v4","created_at":"2026-07-05T11:40:30.466328+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.14620","created_at":"2026-07-05T11:40:30.466328+00:00"},{"alias_kind":"pith_short_12","alias_value":"IJEDX36HSMO2","created_at":"2026-07-05T11:40:30.466328+00:00"},{"alias_kind":"pith_short_16","alias_value":"IJEDX36HSMO2SKCF","created_at":"2026-07-05T11:40:30.466328+00:00"},{"alias_kind":"pith_short_8","alias_value":"IJEDX36H","created_at":"2026-07-05T11:40:30.466328+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2502.01476","citing_title":"Neuro-Symbolic AI for Analytical Solutions of Differential Equations","ref_index":17,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3","json":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3.json","graph_json":"https://pith.science/api/pith-number/IJEDX36HSMO2SKCFG63MUMG3C3/graph.json","events_json":"https://pith.science/api/pith-number/IJEDX36HSMO2SKCFG63MUMG3C3/events.json","paper":"https://pith.science/paper/IJEDX36H"},"agent_actions":{"view_html":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3","download_json":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3.json","view_paper":"https://pith.science/paper/IJEDX36H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.14620&json=true","fetch_graph":"https://pith.science/api/pith-number/IJEDX36HSMO2SKCFG63MUMG3C3/graph.json","fetch_events":"https://pith.science/api/pith-number/IJEDX36HSMO2SKCFG63MUMG3C3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/action/storage_attestation","attest_author":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/action/author_attestation","sign_citation":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/action/citation_signature","submit_replication":"https://pith.science/pith/IJEDX36HSMO2SKCFG63MUMG3C3/action/replication_record"}},"created_at":"2026-07-05T11:40:30.466328+00:00","updated_at":"2026-07-05T11:40:30.466328+00:00"}