Model: 0xekez/Goedel-Prover-SFT-Fork
Author: 0xekez
Tags: safetensors, llama, arxiv:2502.07640, license:mit, region:us
Card metadata: license: mit
Likes: 0 | All-time downloads: 33
Created: 2025-07-10 16:31:50