Update README.md

README.md

@@ -63,7 +63,7 @@ An operation `LM_Inner_Rsp(p)` that represents a response process for a given pa
   - The variables `omem` and `obuf` remain unchanged.
 """
 
-model_name = "fm-universe/llama3.1-8b-tulu-3-fma"
+model_name = "fm-universe/deepseek-coder-7b-instruct-v1.5-fma"
 
 model = AutoModelForCausalLM.from_pretrained(
     model_name, torch_dtype="auto", device_map="auto"
@@ -107,7 +107,7 @@ An operation `LM_Inner_Rsp(p)` that represents a response process for a given pa
   - The variables `omem` and `obuf` remain unchanged.
 """
 
-model_name = "fm-universe/llama3.1-8b-tulu-3-fma"
+model_name = "fm-universe/deepseek-coder-7b-instruct-v1.5-fma"
 
 # Pass the default decoding hyperparameters
 # max_tokens is for the maximum length for generation.
@@ -132,7 +132,6 @@ print(responses[0].outputs[0].text)
 ```
 
 ## Citation
-
 ```
 @misc{fmbench25jialun,
       title={From Informal to Formal--Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs}, 
@@ -143,4 +142,5 @@ print(responses[0].outputs[0].text)
       primaryClass={cs.AI},
       url={https://arxiv.org/abs/2501.16207}, 
 }
+
 ```