Hugging Face model: Goedel-LM/Goedel-Prover-SFT
Author: Goedel-LM
Created: 2025-01-28 19:36:51
Last modified: 2025-04-18 21:02:19
Likes: 31 | Downloads: 230
Tags: safetensors, llama, arxiv:2502.07640, license:mit, region:us
Card metadata:
license: mit