{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FL6E2B4SPLDRP2YYOJQNDF43OA","short_pith_number":"pith:FL6E2B4S","canonical_record":{"source":{"id":"2506.04282","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-04T04:52:34Z","cross_cats_sorted":[],"title_canon_sha256":"8e0021d99f49d37f311c9d0b868d956909d4e334ecd3726e6f57b4683ed3543d","abstract_canon_sha256":"3ec464b6b111656f6b42deea1886c56f46cef9a71f376de46165c1201145f90c"},"schema_version":"1.0"},"canonical_sha256":"2afc4d07927ac717eb187260d1979b701bebab8249ff3f4294e1207e18a70c2b","source":{"kind":"arxiv","id":"2506.04282","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.04282","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2506.04282v1","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.04282","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"FL6E2B4SPLDR","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"FL6E2B4SPLDRP2YY","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"FL6E2B4S","created_at":"2026-07-05T11:16:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FL6E2B4SPLDRP2YYOJQNDF43OA","target":"record","payload":{"canonical_record":{"source":{"id":"2506.04282","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-04T04:52:34Z","cross_cats_sorted":[],"title_canon_sha256":"8e0021d99f49d37f311c9d0b868d956909d4e334ecd3726e6f57b4683ed3543d","abstract_canon_sha256":"3ec464b6b111656f6b42deea1886c56f46cef9a71f376de46165c1201145f90c"},"schema_version":"1.0"},"canonical_sha256":"2afc4d07927ac717eb187260d1979b701bebab8249ff3f4294e1207e18a70c2b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:16:11.644577Z","signature_b64":"zW9UIApYMsPZ8J9/i5aOgCyHiY2Ip68EP1jKdlYwlkaJqyQUd1oaVSjyhlxfKCYk5suOWJO6edzVVAYEqNQjCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2afc4d07927ac717eb187260d1979b701bebab8249ff3f4294e1207e18a70c2b","last_reissued_at":"2026-07-05T11:16:11.644068Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:16:11.644068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.04282","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:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VB4fuXT9XcRWO8fXNcuP8SFb1kt+xDx8ZEkN1MySAxrv6VJzbxirrMCKK9oFf4ZXnXnbYpIWyNYicL7YVN05Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T00:06:38.019069Z"},"content_sha256":"27db1bb809c523fed365b1ef023add204a5420c694324517a9a7572b5ebaf668","schema_version":"1.0","event_id":"sha256:27db1bb809c523fed365b1ef023add204a5420c694324517a9a7572b5ebaf668"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FL6E2B4SPLDRP2YYOJQNDF43OA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DrSR: LLM based Scientific Equation Discovery with Dual Reasoning from Data and Experience","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Boxiao Wang, Jian Cheng, Kai Li, Runxiang Wang, Yifan Zhang","submitted_at":"2025-06-04T04:52:34Z","abstract_excerpt":"Symbolic regression is a fundamental tool for discovering interpretable mathematical expressions from data, with broad applications across scientific and engineering domains. Recently, large language models (LLMs) have demonstrated strong performance in this task, leveraging embedded scientific priors and reasoning capabilities to surpass traditional methods. However, existing LLM-based approaches, such as LLM-SR, often over-rely on internal priors, lacking explicit data understanding and systematic reflection during equation generation. To address these limitations, we propose DrSR (Dual Reas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.04282","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.04282/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:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0UL6NomQHPvO9O7sZ5KN/1vbziW6o1XEuwWQzgJF0W2PLQG814UyMCaW8Xwnr72UByevVY6XbSu+HmODyj8WDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T00:06:38.020092Z"},"content_sha256":"8e69a3ae6bdbecf80f828d404a603bb94fe4324f92160134c1f374f227b48373","schema_version":"1.0","event_id":"sha256:8e69a3ae6bdbecf80f828d404a603bb94fe4324f92160134c1f374f227b48373"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FL6E2B4SPLDRP2YYOJQNDF43OA/bundle.json","state_url":"https://pith.science/pith/FL6E2B4SPLDRP2YYOJQNDF43OA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FL6E2B4SPLDRP2YYOJQNDF43OA/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-03T00:06:38Z","links":{"resolver":"https://pith.science/pith/FL6E2B4SPLDRP2YYOJQNDF43OA","bundle":"https://pith.science/pith/FL6E2B4SPLDRP2YYOJQNDF43OA/bundle.json","state":"https://pith.science/pith/FL6E2B4SPLDRP2YYOJQNDF43OA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FL6E2B4SPLDRP2YYOJQNDF43OA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FL6E2B4SPLDRP2YYOJQNDF43OA","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":"3ec464b6b111656f6b42deea1886c56f46cef9a71f376de46165c1201145f90c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-04T04:52:34Z","title_canon_sha256":"8e0021d99f49d37f311c9d0b868d956909d4e334ecd3726e6f57b4683ed3543d"},"schema_version":"1.0","source":{"id":"2506.04282","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.04282","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2506.04282v1","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.04282","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"FL6E2B4SPLDR","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"FL6E2B4SPLDRP2YY","created_at":"2026-07-05T11:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"FL6E2B4S","created_at":"2026-07-05T11:16:11Z"}],"graph_snapshots":[{"event_id":"sha256:8e69a3ae6bdbecf80f828d404a603bb94fe4324f92160134c1f374f227b48373","target":"graph","created_at":"2026-07-05T11:16:11Z","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.04282/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic regression is a fundamental tool for discovering interpretable mathematical expressions from data, with broad applications across scientific and engineering domains. Recently, large language models (LLMs) have demonstrated strong performance in this task, leveraging embedded scientific priors and reasoning capabilities to surpass traditional methods. However, existing LLM-based approaches, such as LLM-SR, often over-rely on internal priors, lacking explicit data understanding and systematic reflection during equation generation. To address these limitations, we propose DrSR (Dual Reas","authors_text":"Boxiao Wang, Jian Cheng, Kai Li, Runxiang Wang, Yifan Zhang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-04T04:52:34Z","title":"DrSR: LLM based Scientific Equation Discovery with Dual Reasoning from Data and Experience"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.04282","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:27db1bb809c523fed365b1ef023add204a5420c694324517a9a7572b5ebaf668","target":"record","created_at":"2026-07-05T11:16:11Z","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":"3ec464b6b111656f6b42deea1886c56f46cef9a71f376de46165c1201145f90c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-06-04T04:52:34Z","title_canon_sha256":"8e0021d99f49d37f311c9d0b868d956909d4e334ecd3726e6f57b4683ed3543d"},"schema_version":"1.0","source":{"id":"2506.04282","kind":"arxiv","version":1}},"canonical_sha256":"2afc4d07927ac717eb187260d1979b701bebab8249ff3f4294e1207e18a70c2b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2afc4d07927ac717eb187260d1979b701bebab8249ff3f4294e1207e18a70c2b","first_computed_at":"2026-07-05T11:16:11.644068Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:16:11.644068Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zW9UIApYMsPZ8J9/i5aOgCyHiY2Ip68EP1jKdlYwlkaJqyQUd1oaVSjyhlxfKCYk5suOWJO6edzVVAYEqNQjCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:16:11.644577Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.04282","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27db1bb809c523fed365b1ef023add204a5420c694324517a9a7572b5ebaf668","sha256:8e69a3ae6bdbecf80f828d404a603bb94fe4324f92160134c1f374f227b48373"],"state_sha256":"8ca2783c67b5b7a318c65365a397973611f61437dc38fa868cba856c4b159b97"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aq5lbZFooMUNfmjQmn/1Jv3lFdytLE/GtRutfvOzgS+gk+Z9cx2OBBsnDw+1j4pzrIGT0oEAmuJiMYj4ath3Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T00:06:38.026756Z","bundle_sha256":"acb3422657c21715a900427d420cc4b18b75275947cb14069d5cbce566ebef30"}}