Model: Goedel-LM/Goedel-Formalizer-32B-SonnetAnnotated
Author: Goedel-LM
Tags: safetensors, qwen2, arxiv:2502.07640, license:mit, region:us
Card metadata: license: mit
Likes: 1 | All-time downloads: 168
Created: 2025-04-19 01:04:49