Upload folder using huggingface_hub

README.md

@@ -1,5 +1,5 @@
 ---
-title: LanguageBridge — Math Hybrid (Phi + SymPy)
+title: LanguageBridge — Math Fast Agent (SymPy, Robust)
 emoji: 🧮
 colorFrom: yellow
 colorTo: blue
@@ -9,4 +9,4 @@ app_file: app.py
 pinned: false
 ---
 
-混合路線：先用 SymPy 精準解（代數 / 化簡 / 微積分），必要時用 Phi LLM 補步驟與敘述。
+純 SymPy 的數學推理小助手：支援一次貼上長式、因式分解、微分/積分，並能從多行敘述中自動擷取真正的方程行。**不依賴 torch**，可在 CPU Basic 上穩定運作。

app.py

@@ -1,49 +1,47 @@
 
-import os, re
+import re
 import gradio as gr
 import sympy as sp
 
-TITLE    = "LanguageBridge — Math Hybrid (Phi + SymPy)"
-MODEL_ID = "microsoft/phi-2"
+TITLE = "LanguageBridge — Math Fast Agent (SymPy, Robust)"
 
-_pipe = None
+# ---- 全形轉半形表 ----
+FULL2HALF = str.maketrans({
+    "＋":"+","－":"-","＊":"*","／":"/","＾":"^","＝":"=","，":",","（":"(","）":")","：":":","；":";","×":"*"
+})
 
-def lazy_load_llm():
-    global _pipe
-    if _pipe is not None:
-        return _pipe
-    try:
-        import torch
-        from transformers import AutoTokenizer, AutoModelForCausalLM, pipeline
-        use_cuda = torch.cuda.is_available()
-        tok = AutoTokenizer.from_pretrained(MODEL_ID, trust_remote_code=True)
-        if tok.pad_token_id is None and tok.eos_token_id is not None:
-            tok.pad_token = tok.eos_token
-        model = AutoModelForCausalLM.from_pretrained(
-            MODEL_ID,
-            torch_dtype=torch.float32,
-            device_map="cuda" if use_cuda else "cpu"
-        )
-        _pipe = pipeline(
-            "text-generation",
-            model=model,
-            tokenizer=tok,
-            device=0 if use_cuda else -1
-        )
-        return _pipe
-    except Exception:
-        return None
+def _normalize(text: str) -> str:
+    t = (text or "").translate(FULL2HALF)
+    t = t.replace("\u3000"," ").strip()
+    return t
+
+def _pick_equation_lines(text: str):
+    # 挑出真正像方程式的行（含 '='），過濾純敘述行。
+    eq_lines = []
+    for ln in text.splitlines():
+        s = ln.strip()
+        if not s:
+            continue
+        if "=" in s and re.search(r"[A-Za-z0-9πe]|[+\-*/^()]", s):
+            eq_lines.append(s)
+    if not eq_lines:
+        m = re.search(r"([^\n=]+=[^\n=]+)", text)
+        if m:
+            eq_lines.append(m.group(1).strip())
+    return eq_lines
 
-def solve_with_sympy(q: str) -> str:
-    q = (q or "").strip()
+def solve_math(q: str):
+    q = _normalize(q)
     if not q:
-        return "請輸入算式或方程，例如：2x+5=11；或：sin(x)**2 + cos(x)**2；或：factor(x**2-9)"
+        return "請輸入算式或方程，例如：2x+3=11；或：sin(x)**2 + cos(x)**2；或：factor(x**2-9)"
+
     try:
-        if "=" in q:
-            parts = [s.strip() for seg in q.split(";") for s in seg.split("\n")]
+        # 先嘗試方程/聯立模式
+        eq_lines = _pick_equation_lines(q)
+        if eq_lines:
             eqs, syms = [], set()
-            for s in parts:
-                if not s: 
+            for s in eq_lines:
+                if "=" not in s:
                     continue
                 left, right = s.split("=", 1)
                 eq = sp.Eq(sp.sympify(left), sp.sympify(right))
@@ -53,14 +51,16 @@ def solve_with_sympy(q: str) -> str:
                     syms |= eq.rhs.free_symbols
             if not syms:
                 syms = {sp.symbols("x")}
-            sols = sp.solve(eqs, list(syms), dict=True)
-            if not sols:
-                return "（SymPy）無解或需要更多條件。"
+            sol = sp.solve(eqs, list(syms), dict=True)
+            if not sol:
+                return "無解或需要更多條件。"
             lines = []
-            for i, s in enumerate(sols, 1):
-                lines.append(f"解 {i}: " + ", ".join([f"{k} = {sp.simplify(v)}" for k, v in s.items()]))
+            for i, s in enumerate(sol, 1):
+                items = [f"{k} = {sp.simplify(v)}" for k, v in s.items()]
+                lines.append(f"解 {i}: " + ", ".join(items))
             return "\n".join(lines)
 
+        # 無等號：表達式模式 → 給常見操作
         expr = sp.sympify(q)
         out = []
         try:
@@ -68,9 +68,9 @@ def solve_with_sympy(q: str) -> str:
         except Exception:
             pass
         try:
-            fctr = sp.factor(expr)
-            if fctr != expr:
-                out.append(f"因式分解：{fctr}")
+            fac = sp.factor(expr)
+            if fac != expr:
+                out.append(f"因式分解：{fac}")
         except Exception:
             pass
         try:
@@ -80,44 +80,18 @@ def solve_with_sympy(q: str) -> str:
         except Exception:
             pass
         return "\n".join(out) if out else f"結果：{expr}"
-    except Exception as e:
-        return f"(SymPy 解析失敗) {e}"
 
-def hybrid_solve(q: str, max_new_tokens: int, temperature: float, top_p: float):
-    q = (q or "").strip()
-    sym = solve_with_sympy(q)
-    if sym and not sym.startswith("(SymPy 解析失敗)"):
-        return sym
-
-    pipe = lazy_load_llm()
-    if pipe is None:
-        return sym + "\n\n(提示) LLM 尚未就緒或未安裝 torch/transformers，僅回傳 SymPy 嘗試結果。"
-
-    prompt = f"請閱讀題目並用中文說明步驟，最後給出答案。\n題目：{q}\n"
-    outs = pipe(
-        prompt,
-        max_new_tokens=max_new_tokens,
-        do_sample=True if temperature>0 else False,
-        top_p=top_p,
-        temperature=temperature,
-        repetition_penalty=1.05,
-        pad_token_id=pipe.tokenizer.eos_token_id,
-    )
-    txt = outs[0]["generated_text"]
-    return txt[len(prompt):].strip()
+    except Exception as e:
+        return f"(SymPy 解析失敗) {e}\n（提示）若要讓 LLM 協助長敘述理解，請改用混合版或安裝 torch/transformers。"
 
 with gr.Blocks(title=TITLE) as demo:
-    gr.Markdown(f"## {TITLE}\n貼上文字題或算式：LLM 解析 → SymPy 精算（可聯立）")
-    with gr.Row():
-        q = gr.Textbox(lines=7, label="題目 / 算式（可含聯立方程）",
-                       placeholder="例如：一個數加 5 等於 11，求此數；\n或：2x+5=11；或：sin(x)**2+cos(x)**2")
-    with gr.Accordion("進階（LLM 生成）", open=False):
-        mx_tok = gr.Slider(32, 256, value=128, step=8, label="max_new_tokens")
-        temp   = gr.Slider(0.0, 1.2, value=0.3, step=0.05, label="temperature")
-        top_p  = gr.Slider(0.1, 1.0, value=0.9, step=0.05, label="top_p")
+    gr.Markdown(f"## {TITLE}\n貼上算式（可多行；含敘述亦可，系統會自動擷取方程式）：")
+    q = gr.Textbox(lines=6, label="題目 / 算式（可含聯立方程或敘述）")
     out = gr.Textbox(lines=12, label="輸出")
     btn = gr.Button("送出 🚀")
-    btn.click(hybrid_solve, inputs=[q, mx_tok, temp, top_p], outputs=out, concurrency_limit=1)
-    gr.Markdown("**小技巧**：先輸入方程/算式讓 SymPy 直接求；純文字題會呼叫 LLM 先轉譯再解。")
+    # 使用 concurrency_limit 代替舊的 concurrency_count，避免 Spaces 日誌警告/報錯
+    btn.click(fn=solve_math, inputs=q, outputs=out, concurrency_limit=2)
 
-demo.launch(max_threads=8)
+# 在本地執行才 launch；Spaces 會自動匯入 app.py
+if __name__ == "__main__":
+    demo.launch(share=True, max_threads=2)

requirements.txt

@@ -1,8 +1,3 @@
 gradio==4.44.1
 sympy>=1.12
-torch==2.1.2
-transformers==4.41.2
-accelerate==0.31.0
-safetensors>=0.4.3
-sentencepiece>=0.1.99
 huggingface_hub>=0.24.0