delta-lab-ai/translator

This repository contains the model described in PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs.

Project page: https://pde-controller.github.io/

Code: https://github.com/delta-lab-ai/PDE-Controller