{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CQEEGONNCG3EJSQNHNEBWWUUGQ","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":"9073a00d96e55e33c6983b858eb7293fd0fcdbea1c27695de814baffec531a29","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:55:59Z","title_canon_sha256":"4a0c43fb5142245cfceb94142ffa71283614f1fd624b1bcb5cecdddc53d29b1b"},"schema_version":"1.0","source":{"id":"2506.19550","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.19550","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"arxiv_version","alias_value":"2506.19550v1","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19550","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_12","alias_value":"CQEEGONNCG3E","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"CQEEGONNCG3EJSQN","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"CQEEGONN","created_at":"2026-07-05T11:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:fa46ea9bd65aaef4bc11128689cf2c7d5418e1199326fdf3001a1cc6b51d459f","target":"graph","created_at":"2026-07-05T11:26:34Z","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/2506.19550/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Solving systems of ordinary differential equations (ODEs) is essential when it comes to understanding the behavior of dynamical systems. Yet, automated solving remains challenging, in particular for nonlinear systems. Computer algebra systems (CASs) provide support for solving ODEs by first simplifying them, in particular through the use of Lie point symmetries. Finding these symmetries is, however, itself a difficult problem for CASs. Recent works in symbolic regression have shown promising results for recovering symbolic expressions from data. Here, we adapt search-based symbolic regression ","authors_text":"Joachim Giesen, Niklas Merk, Paul Kahlmeyer","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:55:59Z","title":"Discovering Symmetries of ODEs by Symbolic Regression"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.19550","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:66366dd3bd291e15fdb8093cc65c37734829ab532ad6ab5ffb5029ff7ee02d09","target":"record","created_at":"2026-07-05T11:26:34Z","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":"9073a00d96e55e33c6983b858eb7293fd0fcdbea1c27695de814baffec531a29","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:55:59Z","title_canon_sha256":"4a0c43fb5142245cfceb94142ffa71283614f1fd624b1bcb5cecdddc53d29b1b"},"schema_version":"1.0","source":{"id":"2506.19550","kind":"arxiv","version":1}},"canonical_sha256":"14084339ad11b644ca0d3b481b5a943414696335824fb3f2cd1f9969be3cb446","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14084339ad11b644ca0d3b481b5a943414696335824fb3f2cd1f9969be3cb446","first_computed_at":"2026-07-05T11:26:34.410865Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:26:34.410865Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RApyVn4gahgfelK79V8bp6UseaP/ycs2RgaZTWePgw8gVB+WHS7zzbFKvUVsfxAVVNH7hZgOrlBonbl9r+CaBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:26:34.413751Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.19550","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66366dd3bd291e15fdb8093cc65c37734829ab532ad6ab5ffb5029ff7ee02d09","sha256:fa46ea9bd65aaef4bc11128689cf2c7d5418e1199326fdf3001a1cc6b51d459f"],"state_sha256":"9d20b5c23aa18e206cc66ab806dfc99352a37900ce079ebc764d051e9f5ac055"}