Goedel-LM
/

Goedel-Prover-V2-8B

Text Generation

text-generation-inference

Model card Files Files and versions

Update README.md

#1

by kaiyuy - opened Jul 15

base: refs/heads/main

←

from: refs/pr/1

Discussion Files changed

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -212,7 +212,7 @@ This model is being released to aid other open-source projects, including those
 ## 5. Quick Start
 You can directly use [Huggingface's Transformers](https://github.com/huggingface/transformers) for model inference.
-```
 from transformers import AutoModelForCausalLM, AutoTokenizer
 import torch
 torch.manual_seed(30)

 ## 5. Quick Start
 You can directly use [Huggingface's Transformers](https://github.com/huggingface/transformers) for model inference.
+```python
 from transformers import AutoModelForCausalLM, AutoTokenizer
 import torch
 torch.manual_seed(30)