delta-lab-ai

/

finetuned_coder

like 0

Follow

DeLTA Lab @ SFU 6

This PR adds a model card for the paper PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs.

This includes relevant metadata such as the library name, pipeline tag and license.