{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:OPLUZDTWWJJOCNOMSBVQH5Z6WJ","short_pith_number":"pith:OPLUZDTW","schema_version":"1.0","canonical_sha256":"73d74c8e76b252e135cc906b03f73eb241878c22a0f9c62810de0a5be7a8f996","source":{"kind":"arxiv","id":"2502.00963","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2502.00963","created_at":"2026-07-05T11:19:24.122928+00:00"},{"alias_kind":"arxiv_version","alias_value":"2502.00963v2","created_at":"2026-07-05T11:19:24.122928+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00963","created_at":"2026-07-05T11:19:24.122928+00:00"},{"alias_kind":"pith_short_12","alias_value":"OPLUZDTWWJJO","created_at":"2026-07-05T11:19:24.122928+00:00"},{"alias_kind":"pith_short_16","alias_value":"OPLUZDTWWJJOCNOM","created_at":"2026-07-05T11:19:24.122928+00:00"},{"alias_kind":"pith_short_8","alias_value":"OPLUZDTW","created_at":"2026-07-05T11:19:24.122928+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.10752","citing_title":"AutoPDE: Reliable Agentic PDE Solving via Explicitly Represented Solver Strategies","ref_index":62,"is_internal_anchor":false},{"citing_arxiv_id":"2606.08405","citing_title":"Self-Evolving Scientific Agent Discovers Generalizable Physically-Reasoned Fluid Control","ref_index":22,"is_internal_anchor":false},{"citing_arxiv_id":"2604.02709","citing_title":"Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy","ref_index":50,"is_internal_anchor":false},{"citing_arxiv_id":"2605.09636","citing_title":"PDEAgent-Bench: A Multi-Metric, Multi-Library Benchmark for PDE Solver Generation","ref_index":23,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ","json":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ.json","graph_json":"https://pith.science/api/pith-number/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/graph.json","events_json":"https://pith.science/api/pith-number/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/events.json","paper":"https://pith.science/paper/OPLUZDTW"},"agent_actions":{"view_html":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ","download_json":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ.json","view_paper":"https://pith.science/paper/OPLUZDTW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2502.00963&json=true","fetch_graph":"https://pith.science/api/pith-number/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/graph.json","fetch_events":"https://pith.science/api/pith-number/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/action/storage_attestation","attest_author":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/action/author_attestation","sign_citation":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/action/citation_signature","submit_replication":"https://pith.science/pith/OPLUZDTWWJJOCNOMSBVQH5Z6WJ/action/replication_record"}},"created_at":"2026-07-05T11:19:24.122928+00:00","updated_at":"2026-07-05T11:19:24.122928+00:00"}