README.md

metadata

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).