Proceedings

Verifiable PDE Reasoning and Modeling with Neurosymbolics

Wuyang Chen

Download BibTeX Cite

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. Early Career Spotlight. Pages 8144-8149.

https://doi.org/10.24963/ijcai.2026/903

Keywords

  • AI: Agent-based and Multi-agent Systems
  • AI: Machine Learning
  • AI: Multidisciplinary Topics and Applications
  • AI: Knowledge Representation and Reasoning

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.

Wuyang Chen. 2026. Verifiable PDE Reasoning and Modeling with Neurosymbolics. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-26. IJCAI, 8144–8149. https://doi.org/10.24963/ijcai.2026/903
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards