Update app.py

app.py

@@ -4,8 +4,7 @@ from huggingface_hub import login
 from transformers import pipeline
 
 # Authenticate with Hugging Face Hub
-user_token = os.environ.get("HF_TOKEN")  # Replace with your actual Hugging Face user token
-login(user_token)
+login(HF_TOKEN)
 
 # Load the gated model
 model_name = "RickyDeSkywalker/TheoremLlama"