Update README.md
Browse files
README.md
CHANGED
|
@@ -171,7 +171,7 @@ outputs = model.generate(inputs, max_new_tokens=8192)
|
|
| 171 |
decoded_outputs = tokenizer.batch_decode(outputs)
|
| 172 |
print(f"model_output: {decoded_outputs[0]}")
|
| 173 |
proof = extract_proof_from_text(decoded_outputs[0])
|
| 174 |
-
print(f"extracted_proof: {proof}"
|
| 175 |
````
|
| 176 |
|
| 177 |
|
|
|
|
| 171 |
decoded_outputs = tokenizer.batch_decode(outputs)
|
| 172 |
print(f"model_output: {decoded_outputs[0]}")
|
| 173 |
proof = extract_proof_from_text(decoded_outputs[0])
|
| 174 |
+
print(f"extracted_proof: {proof}")
|
| 175 |
````
|
| 176 |
|
| 177 |
|