Weiran Sun

1 papers · 2025–2025 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Kye Emond (1) Wuyang Chen (1) Mauricio Soroco (1) Mengzhou Xia (1) Jialin Song (1)

Papers

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs ICML 2025