温哥华Simon Fraser University数学系孙蔚然教授计算机系陈武阳助理教授招收 自动形式化定理证明方向的博士生

本文是一则博士招生广告，背景是Simon Fraser University数学系孙蔚然教授和计算机系陈武阳助理教授联合招收博士生。研究目的是利用大语言模型的最新进展，革新偏微分方程分析的自动化水平和效能，具体通过系统化数据收集、PDE形式化、大语言模型推理策略应用和多尺度PDE系统严谨分析四个方向展开。结论是该项目旨在实现更易普及、更具扩展性且更稳健的PDE解决方案，提升其在科学和工程领域的实际覆盖范围及可靠性，并提供了申请方式、截止日期和导师联系方式。