This repository contains the model used for autoformalization and reasoning as presented in PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs.
Project page: https://pde-controller.github.io/
Code: The code implementation can be found at https://github.com/Delta-Lab-AI/PDE-Controller
- Downloads last month
- 46
Inference Providers
NEW
This model isn't deployed by any Inference Provider.
🙋
Ask for provider support