Emond, Kye

2 publications

ICML 2025 PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Mauricio Soroco, Jialin Song, Mengzhou Xia, Kye Emond, Weiran Sun, Wuyang Chen

ICLRW 2025 PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs Mauricio Soroco, Jialin Song, Mengzhou Xia, Kye Emond, Weiran Sun, Wuyang Chen