saad-sust commited on
Commit
1c312f0
Β·
verified Β·
1 Parent(s): 7d15674

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +0 -3
app.py CHANGED
@@ -4,7 +4,6 @@ import torch
4
 
5
  # Professional Academic Layout
6
  st.set_page_config(page_title="B.Sc. Math Engine", page_icon="πŸ“")
7
-
8
  st.title("πŸ“ B.Sc. Mathematics Engine")
9
  st.write("Advanced Proof & Logic Solver | SUST Dept. of Mathematics")
10
 
@@ -43,14 +42,12 @@ system_instruction = (
43
  "6. FORMATTING: Use LaTeX for EVERY mathematical symbol. Use '$$' for centered equations and '$' for inline math. "
44
  "Never say 'it is obvious'; explain every logical jump."
45
  )
46
- )
47
 
48
  user_query = st.chat_input("Enter your problem...")
49
 
50
  if user_query:
51
  with st.chat_message("user"):
52
  st.write(user_query)
53
-
54
  with st.chat_message("assistant"):
55
  with st.spinner("Processing logic... (Usually takes 45-90s on CPU)"):
56
  # Format specifically for SmolLM2
 
4
 
5
  # Professional Academic Layout
6
  st.set_page_config(page_title="B.Sc. Math Engine", page_icon="πŸ“")
 
7
  st.title("πŸ“ B.Sc. Mathematics Engine")
8
  st.write("Advanced Proof & Logic Solver | SUST Dept. of Mathematics")
9
 
 
42
  "6. FORMATTING: Use LaTeX for EVERY mathematical symbol. Use '$$' for centered equations and '$' for inline math. "
43
  "Never say 'it is obvious'; explain every logical jump."
44
  )
 
45
 
46
  user_query = st.chat_input("Enter your problem...")
47
 
48
  if user_query:
49
  with st.chat_message("user"):
50
  st.write(user_query)
 
51
  with st.chat_message("assistant"):
52
  with st.spinner("Processing logic... (Usually takes 45-90s on CPU)"):
53
  # Format specifically for SmolLM2