{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:UNB6U42Q4Q5RVMOOQJEJX4XSCL","short_pith_number":"pith:UNB6U42Q","canonical_record":{"source":{"id":"2506.19537","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:46:05Z","cross_cats_sorted":[],"title_canon_sha256":"5de54f1d1749b329267cbadf889db36dccff7a5776139ba8d4e14a0f9ed46d97","abstract_canon_sha256":"b3968f923515afbf3dd8239a6276cfb3eae22e70d69e0bd85e695249b491f246"},"schema_version":"1.0"},"canonical_sha256":"a343ea7350e43b1ab1ce82489bf2f212c6cadcf583785d3efc2886c1b67ab715","source":{"kind":"arxiv","id":"2506.19537","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.19537","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"arxiv_version","alias_value":"2506.19537v1","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19537","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_12","alias_value":"UNB6U42Q4Q5R","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"UNB6U42Q4Q5RVMOO","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"UNB6U42Q","created_at":"2026-07-05T11:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:UNB6U42Q4Q5RVMOOQJEJX4XSCL","target":"record","payload":{"canonical_record":{"source":{"id":"2506.19537","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:46:05Z","cross_cats_sorted":[],"title_canon_sha256":"5de54f1d1749b329267cbadf889db36dccff7a5776139ba8d4e14a0f9ed46d97","abstract_canon_sha256":"b3968f923515afbf3dd8239a6276cfb3eae22e70d69e0bd85e695249b491f246"},"schema_version":"1.0"},"canonical_sha256":"a343ea7350e43b1ab1ce82489bf2f212c6cadcf583785d3efc2886c1b67ab715","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:26:34.219680Z","signature_b64":"BwtV810w7DdhaXyNWejLCXTyIreUMqHYCABPzuKfQlDWRO9w5+XMFMqFY73lyA5mK+A2SW9oIm6eDpuDlJpwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a343ea7350e43b1ab1ce82489bf2f212c6cadcf583785d3efc2886c1b67ab715","last_reissued_at":"2026-07-05T11:26:34.219225Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:26:34.219225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.19537","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:26:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"70670LmtDNho+R4ZEzfrH0Gz/ZPUAw57g6TH8N8AJ9ULmnhmOjihvdHg+KMg997Q2r7MvFSTG5PXbep9gX8jBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:08:13.282829Z"},"content_sha256":"746a2899e921c8d9c9406f2af1ea2ba77a16a6099ab0d22507db41073bec5358","schema_version":"1.0","event_id":"sha256:746a2899e921c8d9c9406f2af1ea2ba77a16a6099ab0d22507db41073bec5358"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:UNB6U42Q4Q5RVMOOQJEJX4XSCL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dimension Reduction for Symbolic Regression","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Joachim Giesen, Markus Fischer, Paul Kahlmeyer","submitted_at":"2025-06-24T11:46:05Z","abstract_excerpt":"Solutions of symbolic regression problems are expressions that are composed of input variables and operators from a finite set of function symbols. One measure for evaluating symbolic regression algorithms is their ability to recover formulae, up to symbolic equivalence, from finite samples. Not unexpectedly, the recovery problem becomes harder when the formula gets more complex, that is, when the number of variables and operators gets larger. Variables in naturally occurring symbolic formulas often appear only in fixed combinations. This can be exploited in symbolic regression by substituting"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.19537","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/2506.19537/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:26:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3LiS4OIFRS/YPd2/Ga+IOls2nWe+/ew+2CiB5mDwKltFajK7+1eiMs2Ry+FkGfQF/c2GsGdXwRGk3DxggrwTAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T14:08:13.283340Z"},"content_sha256":"8273f9b4057fb367f17eda0c0038a540196e71685ed110067aa132b61d1a9d13","schema_version":"1.0","event_id":"sha256:8273f9b4057fb367f17eda0c0038a540196e71685ed110067aa132b61d1a9d13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/bundle.json","state_url":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/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-09T14:08:13Z","links":{"resolver":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL","bundle":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/bundle.json","state":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UNB6U42Q4Q5RVMOOQJEJX4XSCL","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":"b3968f923515afbf3dd8239a6276cfb3eae22e70d69e0bd85e695249b491f246","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:46:05Z","title_canon_sha256":"5de54f1d1749b329267cbadf889db36dccff7a5776139ba8d4e14a0f9ed46d97"},"schema_version":"1.0","source":{"id":"2506.19537","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.19537","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"arxiv_version","alias_value":"2506.19537v1","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19537","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_12","alias_value":"UNB6U42Q4Q5R","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"UNB6U42Q4Q5RVMOO","created_at":"2026-07-05T11:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"UNB6U42Q","created_at":"2026-07-05T11:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:8273f9b4057fb367f17eda0c0038a540196e71685ed110067aa132b61d1a9d13","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.19537/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Solutions of symbolic regression problems are expressions that are composed of input variables and operators from a finite set of function symbols. One measure for evaluating symbolic regression algorithms is their ability to recover formulae, up to symbolic equivalence, from finite samples. Not unexpectedly, the recovery problem becomes harder when the formula gets more complex, that is, when the number of variables and operators gets larger. Variables in naturally occurring symbolic formulas often appear only in fixed combinations. This can be exploited in symbolic regression by substituting","authors_text":"Joachim Giesen, Markus Fischer, Paul Kahlmeyer","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:46:05Z","title":"Dimension Reduction for Symbolic Regression"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.19537","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:746a2899e921c8d9c9406f2af1ea2ba77a16a6099ab0d22507db41073bec5358","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":"b3968f923515afbf3dd8239a6276cfb3eae22e70d69e0bd85e695249b491f246","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-24T11:46:05Z","title_canon_sha256":"5de54f1d1749b329267cbadf889db36dccff7a5776139ba8d4e14a0f9ed46d97"},"schema_version":"1.0","source":{"id":"2506.19537","kind":"arxiv","version":1}},"canonical_sha256":"a343ea7350e43b1ab1ce82489bf2f212c6cadcf583785d3efc2886c1b67ab715","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a343ea7350e43b1ab1ce82489bf2f212c6cadcf583785d3efc2886c1b67ab715","first_computed_at":"2026-07-05T11:26:34.219225Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:26:34.219225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BwtV810w7DdhaXyNWejLCXTyIreUMqHYCABPzuKfQlDWRO9w5+XMFMqFY73lyA5mK+A2SW9oIm6eDpuDlJpwBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:26:34.219680Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.19537","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:746a2899e921c8d9c9406f2af1ea2ba77a16a6099ab0d22507db41073bec5358","sha256:8273f9b4057fb367f17eda0c0038a540196e71685ed110067aa132b61d1a9d13"],"state_sha256":"a335ba036db118d15c62f4dc71c6ccf69390beb3e395c418bbeeafbf175e88e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NjIjhSb8gOjMmEfA8J3/uk8Zc4Jw/h7RBIyHj70CnjO+eeghujQAYv7YG1avmi7cioGZhfv11rfIdUytMbW1Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T14:08:13.288534Z","bundle_sha256":"f99fb259cebadc5debdb64741cfea10827dd8cf0d9e21d947ac5cdd9653781fc"}}