{"type":"ScholarlyArticle","title":"Verifiable PDE Reasoning and Modeling with Neurosymbolics","authors":[{"name":"Wuyang Chen","slug":"wuyang-chen","given":"Wuyang","family":"Chen","affiliation":""}],"abstract":"Recent progress in Large Language Models (LLMs) has transformed text and code generation, yet models still falter on Partial Differential Equations (PDEs) where correctness, constraints, and physical consequences are critical. We explore how formal LLM reasoning can advance symbolic PDE modeling. First, our PDE-Controller formalizes informal PDEs, synthesizes solver-ready code, and plans subgoals to tackle nonconvex control via interactions with external solvers. Second, our Lean Finder accelerates PDE formalization via a semantics-aware search engine for Lean/Mathlib that retrieves relevant theorems, outperforming GPT models and gaining significant traction in the AI-for-math community. Through these efforts, we aim to design a semantics-first LLM that autoformalizes informal PDE problems into machine-checked specifications and synthesizes solver-ready code. This closes the loop between formal analysis and LLM reasoning, ultimately surpassing human heuristics across PDEs.","doi":"10.24963/ijcai.2026/903","url":"https://ijcai.org/proceedings/2026/903","pdf":"https://ijcai.org/proceedings/2026/0903.pdf","markdown":"https://ijcai.org/proceedings/2026/903.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/903","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Early Career Spotlight","track":"Early Career Spotlight","number":903,"pages":{"first":8144,"last":8149},"keywords":["AI: Agent-based and Multi-agent Systems","AI: Machine Learning","AI: Multidisciplinary Topics and Applications","AI: Knowledge Representation and Reasoning"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}