{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:UYHUGVUYUVNU364WEF5BZLYOTH","short_pith_number":"pith:UYHUGVUY","canonical_record":{"source":{"id":"2404.18400","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-29T03:30:06Z","cross_cats_sorted":["cs.AI","cs.CL","cs.NE"],"title_canon_sha256":"594c8e01ed0adbfc9c4a548095d47306341bd5454e05ccafcfc5fb32dc769263","abstract_canon_sha256":"cb0f6b1571740fcf6afb8344f95b5ae2390d80289354ebd030e982c1f4b30386"},"schema_version":"1.0"},"canonical_sha256":"a60f435698a55b4dfb96217a1caf0e99d3b7452087cc196c2711082778dd6f2d","source":{"kind":"arxiv","id":"2404.18400","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.18400","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"arxiv_version","alias_value":"2404.18400v3","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.18400","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"pith_short_12","alias_value":"UYHUGVUYUVNU","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"pith_short_16","alias_value":"UYHUGVUYUVNU364W","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"pith_short_8","alias_value":"UYHUGVUY","created_at":"2026-07-05T10:36:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:UYHUGVUYUVNU364WEF5BZLYOTH","target":"record","payload":{"canonical_record":{"source":{"id":"2404.18400","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-29T03:30:06Z","cross_cats_sorted":["cs.AI","cs.CL","cs.NE"],"title_canon_sha256":"594c8e01ed0adbfc9c4a548095d47306341bd5454e05ccafcfc5fb32dc769263","abstract_canon_sha256":"cb0f6b1571740fcf6afb8344f95b5ae2390d80289354ebd030e982c1f4b30386"},"schema_version":"1.0"},"canonical_sha256":"a60f435698a55b4dfb96217a1caf0e99d3b7452087cc196c2711082778dd6f2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:36:14.576139Z","signature_b64":"8ZKBepnexTAUsoBeKwyBpQzlXUaN93d74SfHJwRYU9qosN1PDNfP/NGJ8a/l53hr/iaK30de80wuv0l0qZI8Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a60f435698a55b4dfb96217a1caf0e99d3b7452087cc196c2711082778dd6f2d","last_reissued_at":"2026-07-05T10:36:14.575663Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:36:14.575663Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.18400","source_version":3,"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-05T10:36:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZdqsMmWwXnSO6WxxN1YhlmPEXd+6wT9oYTvRSkAatDaFU9ffzJ7XJ62tsjpkNI/zyZk6sNK9NOIGmKrxaR5gCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T07:56:38.252977Z"},"content_sha256":"a95219b2faa5b0d0339581d4d296eed80f92b2bbbf01bb631c8d6bc73d13dedc","schema_version":"1.0","event_id":"sha256:a95219b2faa5b0d0339581d4d296eed80f92b2bbbf01bb631c8d6bc73d13dedc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:UYHUGVUYUVNU364WEF5BZLYOTH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-SR: Scientific Equation Discovery via Programming with Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.NE"],"primary_cat":"cs.LG","authors_text":"Amir Barati Farimani, Chandan K Reddy, Kazem Meidani, Parshin Shojaee, Shashank Gupta","submitted_at":"2024-04-29T03:30:06Z","abstract_excerpt":"Mathematical equations have been unreasonably effective in describing complex natural phenomena across various scientific disciplines. However, discovering such insightful equations from data presents significant challenges due to the necessity of navigating extremely large combinatorial hypothesis spaces. Current methods of equation discovery, commonly known as symbolic regression techniques, largely focus on extracting equations from data alone, often neglecting the domain-specific prior knowledge that scientists typically depend on. They also employ limited representations such as expressio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.18400","kind":"arxiv","version":3},"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/2404.18400/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-05T10:36:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pEcCt8cL9ps0QroIVOisQqxxqSaeO9/VMiic8KL7uZPscYVwTvjp+9Ui17LdUKYHM6TndvZo6gxv1yRiGmRADg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T07:56:38.253342Z"},"content_sha256":"bca9f4cc23bb081b3844216854c3cc4b6441d5702bc253310f5e9a81eb25580f","schema_version":"1.0","event_id":"sha256:bca9f4cc23bb081b3844216854c3cc4b6441d5702bc253310f5e9a81eb25580f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UYHUGVUYUVNU364WEF5BZLYOTH/bundle.json","state_url":"https://pith.science/pith/UYHUGVUYUVNU364WEF5BZLYOTH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UYHUGVUYUVNU364WEF5BZLYOTH/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-22T07:56:38Z","links":{"resolver":"https://pith.science/pith/UYHUGVUYUVNU364WEF5BZLYOTH","bundle":"https://pith.science/pith/UYHUGVUYUVNU364WEF5BZLYOTH/bundle.json","state":"https://pith.science/pith/UYHUGVUYUVNU364WEF5BZLYOTH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UYHUGVUYUVNU364WEF5BZLYOTH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:UYHUGVUYUVNU364WEF5BZLYOTH","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":"cb0f6b1571740fcf6afb8344f95b5ae2390d80289354ebd030e982c1f4b30386","cross_cats_sorted":["cs.AI","cs.CL","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-29T03:30:06Z","title_canon_sha256":"594c8e01ed0adbfc9c4a548095d47306341bd5454e05ccafcfc5fb32dc769263"},"schema_version":"1.0","source":{"id":"2404.18400","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.18400","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"arxiv_version","alias_value":"2404.18400v3","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.18400","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"pith_short_12","alias_value":"UYHUGVUYUVNU","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"pith_short_16","alias_value":"UYHUGVUYUVNU364W","created_at":"2026-07-05T10:36:14Z"},{"alias_kind":"pith_short_8","alias_value":"UYHUGVUY","created_at":"2026-07-05T10:36:14Z"}],"graph_snapshots":[{"event_id":"sha256:bca9f4cc23bb081b3844216854c3cc4b6441d5702bc253310f5e9a81eb25580f","target":"graph","created_at":"2026-07-05T10:36:14Z","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/2404.18400/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematical equations have been unreasonably effective in describing complex natural phenomena across various scientific disciplines. However, discovering such insightful equations from data presents significant challenges due to the necessity of navigating extremely large combinatorial hypothesis spaces. Current methods of equation discovery, commonly known as symbolic regression techniques, largely focus on extracting equations from data alone, often neglecting the domain-specific prior knowledge that scientists typically depend on. They also employ limited representations such as expressio","authors_text":"Amir Barati Farimani, Chandan K Reddy, Kazem Meidani, Parshin Shojaee, Shashank Gupta","cross_cats":["cs.AI","cs.CL","cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-29T03:30:06Z","title":"LLM-SR: Scientific Equation Discovery via Programming with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.18400","kind":"arxiv","version":3},"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:a95219b2faa5b0d0339581d4d296eed80f92b2bbbf01bb631c8d6bc73d13dedc","target":"record","created_at":"2026-07-05T10:36:14Z","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":"cb0f6b1571740fcf6afb8344f95b5ae2390d80289354ebd030e982c1f4b30386","cross_cats_sorted":["cs.AI","cs.CL","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-04-29T03:30:06Z","title_canon_sha256":"594c8e01ed0adbfc9c4a548095d47306341bd5454e05ccafcfc5fb32dc769263"},"schema_version":"1.0","source":{"id":"2404.18400","kind":"arxiv","version":3}},"canonical_sha256":"a60f435698a55b4dfb96217a1caf0e99d3b7452087cc196c2711082778dd6f2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a60f435698a55b4dfb96217a1caf0e99d3b7452087cc196c2711082778dd6f2d","first_computed_at":"2026-07-05T10:36:14.575663Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:36:14.575663Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8ZKBepnexTAUsoBeKwyBpQzlXUaN93d74SfHJwRYU9qosN1PDNfP/NGJ8a/l53hr/iaK30de80wuv0l0qZI8Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:36:14.576139Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.18400","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a95219b2faa5b0d0339581d4d296eed80f92b2bbbf01bb631c8d6bc73d13dedc","sha256:bca9f4cc23bb081b3844216854c3cc4b6441d5702bc253310f5e9a81eb25580f"],"state_sha256":"967086ab9f76fa8fdb07a10ac5708d48f32ba8e4fda5ee1d9b8abc8a52e790e9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MiUFDWgCTK9ve2/KN+hxifMPcEMvsx8ZEQm+nMVqvImhWMaz/4GU/OYcEQHh86KEiMNCTk5dtCW3+zk7lWwiDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T07:56:38.257960Z","bundle_sha256":"f0e2d414039f7861cdd35cfeeb066d8422f5701b9c971d8cc8f72cf4183e80ed"}}