Goedel-LM
/

Goedel-Prover-V2-32B

Text Generation

text-generation-inference

Model card Files Files and versions

Improve metadata 🤗

#3

by merve HF Staff - opened Jul 21

base: refs/heads/main

←

from: refs/pr/3

Discussion Files changed

Files changed (1) hide show

README.md +1 -0

README.md CHANGED Viewed

@@ -2,6 +2,7 @@
 license: apache-2.0
 base_model:
 - Qwen/Qwen3-32B
 ---
 <div align="center">
     <h1> <a href="http://blog.goedel-prover.com"> <strong>Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date</strong></a></h1>

 license: apache-2.0
 base_model:
 - Qwen/Qwen3-32B
+pipeline_tag: text-generation
 ---
 <div align="center">
     <h1> <a href="http://blog.goedel-prover.com"> <strong>Goedel-Prover-V2: The Strongest Open-Source Theorem Prover to Date</strong></a></h1>