Update app.py

app.py

@@ -6,7 +6,8 @@ from transformers import pipeline
 # Load the gated model
 #model_name = "RickyDeSkywalker/TheoremLlama"
 #model_name = "unsloth/Llama-3.2-1B-Instruct"
-model_name = "internlm/internlm2-math-plus-7b"
+#model_name = "internlm/internlm2-math-plus-7b"
+model_name = "deepseek-ai/DeepSeek-Prover-V1.5-RL"
 HF_TOKEN = os.environ.get("HF_TOKEN")
 #login(HF_TOKEN)