Spaces:
Running on Zero
Running on Zero
File size: 882 Bytes
1eafd4e b05388d 1eafd4e b05388d 9b888d2 1eafd4e b05388d | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | ---
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).
|