Sagicc/nanoGentzen-v3
Text Classification • 4.89M • Updated • 161
nanoGentzen
Test for Genzen calculus in LLM logic verification.
-
-
Sagicc/Gentzen-Kripke-240K
Viewer • Updated • 240k • 96 -
Sagicc/nanoGentzen-Jev-v3
Text Classification • 4.93M • Updated • 196 -
Sagicc/nanoGentzen-Jev
Viewer • Updated • 8.1k • 78 -
Sagicc/nanoGentzen-v2
Feature Extraction • 4.86M • Updated • 31 -
Sagicc/nanoGentzen-v2
Viewer • Updated • 400k • 39 -
Sagicc/nanoGentzen
Feature Extraction • 4.86M • Updated • 10 -
Sagicc/nanoGentzen
Viewer • Updated • 200k • 78 -
nanoGentzen Neurosymbolic Studio
ðŸ§Verify logical sequents and get AI-powered proof explanations