Hugging Face model: arc-cola/qwen35-9b-lean4-nl2lean-diff2
Author: arc-cola
Created: 2026-03-09 12:26:43
Last modified: 2026-03-09 12:27:42
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, arxiv:1910.09700, endpoints_compatible, region:us
Card metadata:
library_name: transformers