Hugging Face model: 0xekez/Goedel-Prover-SFT-Fork
Author: 0xekez
Created: 2025-07-10 16:31:50
Last modified: 2025-07-11 23:14:32
Likes: 0 | Downloads: 3
Tags: safetensors, llama, arxiv:2502.07640, license:mit, region:us
Card metadata:
license: mit