Update app.py

app.py

@@ -34,9 +34,9 @@ if not torch.cuda.is_available():
 
 
 if torch.cuda.is_available():
-    model_id = "AI-MO/NuminaMath-7B-TIR"
+    model_id = "internlm/internlm2-step-prover"
     model = AutoModelForCausalLM.from_pretrained(model_id, torch_dtype=torch.bfloat16, device_map="auto", trust_remote_code=True)
-    tokenizer = AutoTokenizer.from_pretrained(model_id)
+    tokenizer = AutoTokenizer.from_pretrained(model_id,trust_remote_code=True)
     tokenizer.use_default_system_prompt = False