How to use from
vLLM
Install from pip and serve model
# Install vLLM from pip:
pip install vllm
# Start the vLLM server:
vllm serve "delta-lab-ai/coder"
# Call the server using curl (OpenAI-compatible API):
curl -X POST "http://localhost:8000/v1/completions" \
	-H "Content-Type: application/json" \
	--data '{
		"model": "delta-lab-ai/coder",
		"prompt": "Once upon a time,",
		"max_tokens": 512,
		"temperature": 0.5
	}'
Use Docker
docker model run hf.co/delta-lab-ai/coder
Quick Links

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
4
Safetensors
Model size
7B params
Tensor type
BF16
·
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Paper for delta-lab-ai/coder