Improve Model Card: Add pipeline tag and library name

README.md

@@ -1,8 +1,11 @@
 ---
-license: apache-2.0
 base_model:
 - Qwen/Qwen3-32B
+license: apache-2.0
+pipeline_tag: text-generation
+library_name: transformers
 ---
+
 <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>
 </div>
@@ -13,30 +16,30 @@ base_model:
     .badges {
       display: flex;
       justify-content: center;
-      gap: 0.5rem;  /* eliminate whitespace between badges */ 
+      gap: 0.5rem;  /* eliminate whitespace between badges */
       padding: 0.8rem;
     }
     .badge {
-      display: inline-flex;       /* inline flex for pill layout */ 
-      align-items: center;        /* center icon & text vertically */ 
-      padding: 0.4rem 0.4rem;        /* larger badge size */ 
+      display: inline-flex;       /* inline flex for pill layout */
+      align-items: center;        /* center icon & text vertically */
+      padding: 0.4rem 0.4rem;        /* larger badge size */
       background: #333;
-      color: #fff;                 /* white text */ 
+      color: #fff;                 /* white text */
       text-decoration: none;
       font-family: sans-serif;
-      font-size: 0.8rem;          /* larger font */ 
-      border-radius: 999em;        /* full pill shape */ 
-      transition: background 0.15s;/* smooth hover */ 
+      font-size: 0.8rem;          /* larger font */
+      border-radius: 999em;        /* full pill shape */
+      transition: background 0.15s;/* smooth hover */
     }
     .badge:hover {
       background: #444;
     }
     .badge svg,
     .badge .emoji {
-      width: 1.7em; /* scale icons with badge text */ 
+      width: 1.7em; /* scale icons with badge text */
       height: 1.7em;
       margin-right: 0.5em;
-      fill: currentColor; /* inherit badge color */ 
+      fill: currentColor; /* inherit badge color */
     }
   </style>
 </head>
@@ -50,7 +53,7 @@ base_model:
       <span class="emoji"><h1>📄</h1></span>
       arXiv
     </a>
-    <a href="http://blog.goedel-prover.com" 
+    <a href="http://blog.goedel-prover.com"
          class="badge" target="_blank" rel="noopener">
       <span class="emoji"><h1>🌐</h1></span>Website</a><a href="https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B"
          class="badge" target="_blank" rel="noopener">
@@ -284,8 +287,6 @@ print(tokenizer.batch_decode(outputs))
 print(time.time() - start)
 ```
 
-
-
 ### Cite
 ```bibtex
 @article{lin2025goedelproverv2,