{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OPLUZDTWWJJOCNOMSBVQH5Z6WJ","short_pith_number":"pith:OPLUZDTW","canonical_record":{"source":{"id":"2502.00963","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-03T00:03:41Z","cross_cats_sorted":[],"title_canon_sha256":"7f5ddd5b04ecd4b0526fd2700af44b16a920ca449ea4961555ba23339108e57b","abstract_canon_sha256":"60e33bb6aec9542c96691378455890762c7ffa331c77cc5762b42085f87a821f"},"schema_version":"1.0"},"canonical_sha256":"73d74c8e76b252e135cc906b03f73eb241878c22a0f9c62810de0a5be7a8f996","source":{"kind":"arxiv","id":"2502.00963","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00963","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00963v2","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00963","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"pith_short_12","alias_value":"OPLUZDTWWJJO","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"pith_short_16","alias_value":"OPLUZDTWWJJOCNOM","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"pith_short_8","alias_value":"OPLUZDTW","created_at":"2026-07-05T11:19:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OPLUZDTWWJJOCNOMSBVQH5Z6WJ","target":"record","payload":{"canonical_record":{"source":{"id":"2502.00963","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-03T00:03:41Z","cross_cats_sorted":[],"title_canon_sha256":"7f5ddd5b04ecd4b0526fd2700af44b16a920ca449ea4961555ba23339108e57b","abstract_canon_sha256":"60e33bb6aec9542c96691378455890762c7ffa331c77cc5762b42085f87a821f"},"schema_version":"1.0"},"canonical_sha256":"73d74c8e76b252e135cc906b03f73eb241878c22a0f9c62810de0a5be7a8f996","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:19:24.123357Z","signature_b64":"d0BO0Wl/CfNGselrM+MLfRl7cMd5MrAGjO/KLp3WJ9J/zRiRucci4sj0WeAmN1OI/73PJg5cHOgdu2DJo1etDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73d74c8e76b252e135cc906b03f73eb241878c22a0f9c62810de0a5be7a8f996","last_reissued_at":"2026-07-05T11:19:24.122870Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:19:24.122870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.00963","source_version":2,"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:19:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IcuniXYh981u70S45+cqRjucwxrhK+FhHxPqXeKpNh1bHEu2TLCzWVaP1cSmL09N0pm1fXUUPdqvd47PrerGAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T06:53:27.788184Z"},"content_sha256":"d6577701b58dd1afb03aa764e5457273645973dd7d1ddd8ecaa6d3d3feec6ba8","schema_version":"1.0","event_id":"sha256:d6577701b58dd1afb03aa764e5457273645973dd7d1ddd8ecaa6d3d3feec6ba8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OPLUZDTWWJJOCNOMSBVQH5Z6WJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Jialin Song, Kye Emond, Mauricio Soroco, Mengzhou Xia, Weiran Sun, Wuyang Chen","submitted_at":"2025-02-03T00:03:41Z","abstract_excerpt":"While recent AI-for-math has made strides in pure mathematics, areas of applied mathematics, particularly PDEs, remain underexplored despite their significant real-world applications. We present PDE-Controller, a framework that enables large language models (LLMs) to control systems governed by partial differential equations (PDEs). Our approach enables LLMs to transform informal natural language instructions into formal specifications, and then execute reasoning and planning steps to improve the utility of PDE control. We build a holistic solution comprising datasets (both human-written cases"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00963","kind":"arxiv","version":2},"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/2502.00963/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:19:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QBFohyQn1eiGU92sEoV1V+t+xemc+dEDs5/ZqDpgjI0PSKeL4ROPMxH7wfpXnO22/sSRUPmzPv/TiRA4FRj2BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T06:53:27.788691Z"},"content_sha256":"1f9c4fc91be6e8016239556232e12b48f1b458be8e05e7b8b06dd15fee81c557","schema_version":"1.0","event_id":"sha256:1f9c4fc91be6e8016239556232e12b48f1b458be8e05e7b8b06dd15fee81c557"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/bundle.json","state_url":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/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-06T06:53:27Z","links":{"resolver":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ","bundle":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/bundle.json","state":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OPLUZDTWWJJOCNOMSBVQH5Z6WJ","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":"60e33bb6aec9542c96691378455890762c7ffa331c77cc5762b42085f87a821f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-03T00:03:41Z","title_canon_sha256":"7f5ddd5b04ecd4b0526fd2700af44b16a920ca449ea4961555ba23339108e57b"},"schema_version":"1.0","source":{"id":"2502.00963","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00963","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00963v2","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00963","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"pith_short_12","alias_value":"OPLUZDTWWJJO","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"pith_short_16","alias_value":"OPLUZDTWWJJOCNOM","created_at":"2026-07-05T11:19:24Z"},{"alias_kind":"pith_short_8","alias_value":"OPLUZDTW","created_at":"2026-07-05T11:19:24Z"}],"graph_snapshots":[{"event_id":"sha256:1f9c4fc91be6e8016239556232e12b48f1b458be8e05e7b8b06dd15fee81c557","target":"graph","created_at":"2026-07-05T11:19:24Z","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/2502.00963/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While recent AI-for-math has made strides in pure mathematics, areas of applied mathematics, particularly PDEs, remain underexplored despite their significant real-world applications. We present PDE-Controller, a framework that enables large language models (LLMs) to control systems governed by partial differential equations (PDEs). Our approach enables LLMs to transform informal natural language instructions into formal specifications, and then execute reasoning and planning steps to improve the utility of PDE control. We build a holistic solution comprising datasets (both human-written cases","authors_text":"Jialin Song, Kye Emond, Mauricio Soroco, Mengzhou Xia, Weiran Sun, Wuyang Chen","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-03T00:03:41Z","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00963","kind":"arxiv","version":2},"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:d6577701b58dd1afb03aa764e5457273645973dd7d1ddd8ecaa6d3d3feec6ba8","target":"record","created_at":"2026-07-05T11:19:24Z","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":"60e33bb6aec9542c96691378455890762c7ffa331c77cc5762b42085f87a821f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-03T00:03:41Z","title_canon_sha256":"7f5ddd5b04ecd4b0526fd2700af44b16a920ca449ea4961555ba23339108e57b"},"schema_version":"1.0","source":{"id":"2502.00963","kind":"arxiv","version":2}},"canonical_sha256":"73d74c8e76b252e135cc906b03f73eb241878c22a0f9c62810de0a5be7a8f996","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73d74c8e76b252e135cc906b03f73eb241878c22a0f9c62810de0a5be7a8f996","first_computed_at":"2026-07-05T11:19:24.122870Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:19:24.122870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d0BO0Wl/CfNGselrM+MLfRl7cMd5MrAGjO/KLp3WJ9J/zRiRucci4sj0WeAmN1OI/73PJg5cHOgdu2DJo1etDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:19:24.123357Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.00963","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6577701b58dd1afb03aa764e5457273645973dd7d1ddd8ecaa6d3d3feec6ba8","sha256:1f9c4fc91be6e8016239556232e12b48f1b458be8e05e7b8b06dd15fee81c557"],"state_sha256":"7aeaab28077fc26d3a4bbfe295cf7a4294d50299a0f12db8b6c7e46f64a17fbd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t5t/gwe1+Qb9UmDmML2sQwrt82kZqpoJyzqyOsvg9IyOS9WuQqNVkOdzgEKOxacpmEXpdaXLx2yj7g7mJ895Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T06:53:27.792446Z","bundle_sha256":"362bc4773ebc9db6b917171f0bc7c4ac9c98cdfea749f0aedd5f4777ba88359c"}}