{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:UNB6U42Q4Q5RVMOOQJEJX4XSCL","short_pith_number":"pith:UNB6U42Q","schema_version":"1.0","canonical_sha256":"a343ea7350e43b1ab1ce82489bf2f212c6cadcf583785d3efc2886c1b67ab715","source":{"kind":"arxiv","id":"2506.19537","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.19537","created_at":"2026-07-05T11:26:34.219280+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.19537v1","created_at":"2026-07-05T11:26:34.219280+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.19537","created_at":"2026-07-05T11:26:34.219280+00:00"},{"alias_kind":"pith_short_12","alias_value":"UNB6U42Q4Q5R","created_at":"2026-07-05T11:26:34.219280+00:00"},{"alias_kind":"pith_short_16","alias_value":"UNB6U42Q4Q5RVMOO","created_at":"2026-07-05T11:26:34.219280+00:00"},{"alias_kind":"pith_short_8","alias_value":"UNB6U42Q","created_at":"2026-07-05T11:26:34.219280+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL","json":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL.json","graph_json":"https://pith.science/api/pith-number/UNB6U42Q4Q5RVMOOQJEJX4XSCL/graph.json","events_json":"https://pith.science/api/pith-number/UNB6U42Q4Q5RVMOOQJEJX4XSCL/events.json","paper":"https://pith.science/paper/UNB6U42Q"},"agent_actions":{"view_html":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL","download_json":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL.json","view_paper":"https://pith.science/paper/UNB6U42Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.19537&json=true","fetch_graph":"https://pith.science/api/pith-number/UNB6U42Q4Q5RVMOOQJEJX4XSCL/graph.json","fetch_events":"https://pith.science/api/pith-number/UNB6U42Q4Q5RVMOOQJEJX4XSCL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/action/storage_attestation","attest_author":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/action/author_attestation","sign_citation":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/action/citation_signature","submit_replication":"https://pith.science/pith/UNB6U42Q4Q5RVMOOQJEJX4XSCL/action/replication_record"}},"created_at":"2026-07-05T11:26:34.219280+00:00","updated_at":"2026-07-05T11:26:34.219280+00:00"}