Hugging Face model: Goedel-LM/Goedel-Prover-DPO
Author: Goedel-LM
Created: 2025-04-19 13:37:15
Last modified: 2025-04-22 21:01:49
Likes: 4 | Downloads: 16
Tags: safetensors, llama, arxiv:2502.07640, license:mit, region:us
Card metadata:
license: mit