Spaces:
Running on Zero
Running on Zero
| title: "nanoGentzen Neurosymbolic Studio" | |
| emoji: "🧠" | |
| colorFrom: "indigo" | |
| colorTo: "purple" | |
| sdk: "gradio" | |
| sdk_version: "6.25.0" | |
| app_file: "app.py" | |
| pinned: false | |
| license: "mit" | |
| "models": | |
| - Sagicc/nanoGentzen | |
| - Qwen/Qwen3.5-4B | |
| # 🧠 nanoGentzen Neurosymbolic Studio | |
| Interactive AI studio coupling Neural LLMs with a deterministic, mathematically certified **Gentzen Sequent Calculus Engine (LI & LK)**. | |
| ## Capabilities | |
| * **Dual-Process Reasoning**: System 1 (LLM) generates transparent `<think>` steps while System 2 (nanoGentzen) certifies deductive soundness in < 25 ms. | |
| * **Dual-Mode Prover**: Verifies constructive proofs in Intuitionistic Logic ($LI$) and classical tautologies in Classical Logic ($LK$ via Glivenko's Theorem). | |
| * **Fallacy Detection**: Detects and flags formal fallacies (*Affirming the Consequent*, *Denying the Antecedent*, circular arguments). | |