@misc{indiciae8df7058b22d4,
  title = {PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs},
  author = {Mauricio Soroco and Jialin Song and Mengzhou Xia and Kye Emond and Weiran Sun and Wuyang Chen},
  year = {2025},
  url = {https://arxiv.org/abs/2502.00963},
  note = {Source identifier: 2502.00963}
}