Loading...
Loading...
Open-source Goedel-Prover-V2-32B model from np235 — available for download and self-hosting on Hugging Face.
Best for
Local run command
pip install transformers accelerate && python -c "from transformers import AutoModelForCausalLM, AutoTokenizer; tok = AutoTokenzier.from_pretrained('np235/Goedel-Prover-V2-32B'); model = AutoModelForCausalLM.from_pretrained('np235/Goedel-Prover-V2-32B'); print('Loaded np235/Goedel-Prover-V2-32B')"Presumptive Specs:
Community reliability estimate · not official
About this score: Community-estimated based on user reports and publicly available benchmark data (e.g. TruthfulQA). This is not an official score from the model provider. Scores may be inaccurate — always verify with the official leaderboard before making production decisions.
Not enough historical data yet. Check back after the next pricing sync.
Provider
Learn how to use Goedel-Prover-V2-32B
💡 Tip: Start with the sample prompts above to see how Goedel-Prover-V2-32B works best.
Proven prompts shared by the community for this model