{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BQYYHHZ7264M3BGTGWJXF3MGJM","short_pith_number":"pith:BQYYHHZ7","canonical_record":{"source":{"id":"2505.10762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-16T00:31:19Z","cross_cats_sorted":["cs.NE","cs.SC"],"title_canon_sha256":"31f712a8faad1285395424556118bee2da9013eb86fcb9c4219bd135564d11ee","abstract_canon_sha256":"45f921e91152be15b1e6c81e98d81bd17ab29bb41e9c297d99e2fa55f4110c47"},"schema_version":"1.0"},"canonical_sha256":"0c31839f3fd7b8cd84d3359372ed864b10136d4dadd334fed303d4759c3ae36c","source":{"kind":"arxiv","id":"2505.10762","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.10762","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"2505.10762v1","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.10762","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"BQYYHHZ7264M","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"pith_short_16","alias_value":"BQYYHHZ7264M3BGT","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"pith_short_8","alias_value":"BQYYHHZ7","created_at":"2026-07-05T11:04:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BQYYHHZ7264M3BGTGWJXF3MGJM","target":"record","payload":{"canonical_record":{"source":{"id":"2505.10762","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-16T00:31:19Z","cross_cats_sorted":["cs.NE","cs.SC"],"title_canon_sha256":"31f712a8faad1285395424556118bee2da9013eb86fcb9c4219bd135564d11ee","abstract_canon_sha256":"45f921e91152be15b1e6c81e98d81bd17ab29bb41e9c297d99e2fa55f4110c47"},"schema_version":"1.0"},"canonical_sha256":"0c31839f3fd7b8cd84d3359372ed864b10136d4dadd334fed303d4759c3ae36c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:04:05.167786Z","signature_b64":"4sMnR083tavYA2u/HXAiq2vloucf83AhymxRcsSiQiv2OFaFclXlW0/eyBedjZup3TWjS5ojHNG1MmHUTHaaCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c31839f3fd7b8cd84d3359372ed864b10136d4dadd334fed303d4759c3ae36c","last_reissued_at":"2026-07-05T11:04:05.167302Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:04:05.167302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.10762","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-05T11:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OYOCM2jK05ZR2SM6+JJkpqgzEvkmfg24mVN2afE/UNCsMogzJj9wG/dVDxCC8cBnSQxImubYII55ohIQf+tHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:18:15.235280Z"},"content_sha256":"a17e5c6c410581516be6c8fab9540d333564677f3ce6e207a586690c2b96ec0d","schema_version":"1.0","event_id":"sha256:a17e5c6c410581516be6c8fab9540d333564677f3ce6e207a586690c2b96ec0d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BQYYHHZ7264M3BGTGWJXF3MGJM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.NE","cs.SC"],"primary_cat":"cs.LG","authors_text":"Ahmet Can Solak, Alexander Ladd, Andre R. Goncalves, Brenden K. Petersen, Chak Shing Lee, Claudio Santiago, Conor F. Hayes, Daniel Faissol, Felipe Leno da Silva, Ignacio Aravena Solis, Jacob F. Pettit, Jiachen Yang, Joanne T. Kim, Mikel Landajuela, Ruben Glatt, Sookyung Kim, Thomas Desautels, T. Nathan Mundhenk","submitted_at":"2025-05-16T00:31:19Z","abstract_excerpt":"Deep Symbolic Optimization (DSO) is a novel computational framework that enables symbolic optimization for scientific discovery, particularly in applications involving the search for intricate symbolic structures. One notable example is equation discovery, which aims to automatically derive mathematical models expressed in symbolic form. In DSO, the discovery process is formulated as a sequential decision-making task. A generative neural network learns a probabilistic model over a vast space of candidate symbolic expressions, while reinforcement learning strategies guide the search toward the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.10762","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/2505.10762/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:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RRVvSgtNdLrFqZuiqCjWsi0KUp8LdX/HVnd1hB8onl8g4LHOl+ltJ6QzQunLhc7979G/YC8uI1rxEXqify0zCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:18:15.235663Z"},"content_sha256":"3d841774bad926592cddec400f0bc1ad7e3d0ec4eb39768065a970a4f9934775","schema_version":"1.0","event_id":"sha256:3d841774bad926592cddec400f0bc1ad7e3d0ec4eb39768065a970a4f9934775"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BQYYHHZ7264M3BGTGWJXF3MGJM/bundle.json","state_url":"https://pith.science/pith/BQYYHHZ7264M3BGTGWJXF3MGJM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BQYYHHZ7264M3BGTGWJXF3MGJM/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-07-07T11:18:15Z","links":{"resolver":"https://pith.science/pith/BQYYHHZ7264M3BGTGWJXF3MGJM","bundle":"https://pith.science/pith/BQYYHHZ7264M3BGTGWJXF3MGJM/bundle.json","state":"https://pith.science/pith/BQYYHHZ7264M3BGTGWJXF3MGJM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BQYYHHZ7264M3BGTGWJXF3MGJM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BQYYHHZ7264M3BGTGWJXF3MGJM","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":"45f921e91152be15b1e6c81e98d81bd17ab29bb41e9c297d99e2fa55f4110c47","cross_cats_sorted":["cs.NE","cs.SC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-16T00:31:19Z","title_canon_sha256":"31f712a8faad1285395424556118bee2da9013eb86fcb9c4219bd135564d11ee"},"schema_version":"1.0","source":{"id":"2505.10762","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.10762","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"2505.10762v1","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.10762","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"BQYYHHZ7264M","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"pith_short_16","alias_value":"BQYYHHZ7264M3BGT","created_at":"2026-07-05T11:04:05Z"},{"alias_kind":"pith_short_8","alias_value":"BQYYHHZ7","created_at":"2026-07-05T11:04:05Z"}],"graph_snapshots":[{"event_id":"sha256:3d841774bad926592cddec400f0bc1ad7e3d0ec4eb39768065a970a4f9934775","target":"graph","created_at":"2026-07-05T11:04:05Z","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/2505.10762/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep Symbolic Optimization (DSO) is a novel computational framework that enables symbolic optimization for scientific discovery, particularly in applications involving the search for intricate symbolic structures. One notable example is equation discovery, which aims to automatically derive mathematical models expressed in symbolic form. In DSO, the discovery process is formulated as a sequential decision-making task. A generative neural network learns a probabilistic model over a vast space of candidate symbolic expressions, while reinforcement learning strategies guide the search toward the ","authors_text":"Ahmet Can Solak, Alexander Ladd, Andre R. Goncalves, Brenden K. Petersen, Chak Shing Lee, Claudio Santiago, Conor F. Hayes, Daniel Faissol, Felipe Leno da Silva, Ignacio Aravena Solis, Jacob F. Pettit, Jiachen Yang, Joanne T. Kim, Mikel Landajuela, Ruben Glatt, Sookyung Kim, Thomas Desautels, T. Nathan Mundhenk","cross_cats":["cs.NE","cs.SC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-16T00:31:19Z","title":"Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.10762","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:a17e5c6c410581516be6c8fab9540d333564677f3ce6e207a586690c2b96ec0d","target":"record","created_at":"2026-07-05T11:04:05Z","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":"45f921e91152be15b1e6c81e98d81bd17ab29bb41e9c297d99e2fa55f4110c47","cross_cats_sorted":["cs.NE","cs.SC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-16T00:31:19Z","title_canon_sha256":"31f712a8faad1285395424556118bee2da9013eb86fcb9c4219bd135564d11ee"},"schema_version":"1.0","source":{"id":"2505.10762","kind":"arxiv","version":1}},"canonical_sha256":"0c31839f3fd7b8cd84d3359372ed864b10136d4dadd334fed303d4759c3ae36c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c31839f3fd7b8cd84d3359372ed864b10136d4dadd334fed303d4759c3ae36c","first_computed_at":"2026-07-05T11:04:05.167302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:04:05.167302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4sMnR083tavYA2u/HXAiq2vloucf83AhymxRcsSiQiv2OFaFclXlW0/eyBedjZup3TWjS5ojHNG1MmHUTHaaCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:04:05.167786Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.10762","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a17e5c6c410581516be6c8fab9540d333564677f3ce6e207a586690c2b96ec0d","sha256:3d841774bad926592cddec400f0bc1ad7e3d0ec4eb39768065a970a4f9934775"],"state_sha256":"8ffe727308001cdd8f97accc8b7e4edc421f31f44291ba464a5f2bd70fd2223a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/qPt4WxFZl/m7wyoiD6vEI8njb/vvql/gN7k4fLvhd3Dg3dHB3JMzO/PSpCTHTyjjRJULPBpfs3fGYJT2+o9Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:18:15.237788Z","bundle_sha256":"31cb67a9a6485011a41b4a7525bf92ca457b94b4033c51c88ac52c11f25369f6"}}