Test for Genzen calculus in LLM logic verification.
Andrija
Sagicc
webbrain-one-223334's profile picture
Prettykittycat35's profile picture
Nikola-92's profile picture·
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
updated a model 10 days ago
Sagicc/nanoGentzen-v3 new activity 12 days ago
Sagicc/nanoGentzen-v3:Add Typed Decisions eval resultsOrganizations
spaces 7
Sleeping
Agents
nanoGentzen Neurosymbolic Studio
🧠
Verify logical sequents and get AI-powered proof explanations
Running
1
Tokenizer Playground
👁
Test Serbian on officially supported models, gemma-3, qwen3
Build error
Agents
Template Final Assignment
🕵
Run agent to answer fetched questions and submit results
Running
WebGPU Whisper Sr
🏆
Transcribe audio to text
Running
1
Whisper Web
🦀
Convert spoken words into text
Runtime error
Agents
Whisper Large v3 Sr
🌍
models 53
Sagicc/nanoGentzen-v3
Text Classification • 4.89M • Updated • 161
Sagicc/nanoGentzen-Jev-v3
Text Classification • 4.93M • Updated • 196
Sagicc/nanoGentzen-v2
Feature Extraction • 4.86M • Updated • 31
Sagicc/nanoGentzen
Feature Extraction • 4.86M • Updated • 10
Sagicc/whisper-medium-sr-fleurs
Automatic Speech Recognition • 0.8B • Updated • 17
Sagicc/Occam-2B-CCoT
2B • Updated • 16 • 6
Sagicc/Occam-2B-CCoT-Q8-GGUF
2B • Updated • 46
Sagicc/Qwen3-0.6B-sr-Instruct-Q8_0-GGUF
0.6B • Updated • 19
Sagicc/Qwen3-0.6B-sr
0.6B • Updated • 11
Sagicc/Qwen3-0.6B-sr-Instruct
0.6B • Updated • 9
datasets 8
Sagicc/Gentzen-Kripke-240K
Viewer • Updated • 240k • 96
Sagicc/nanoGentzen-Jev
Viewer • Updated • 8.1k • 78
Sagicc/nanoGentzen-v2
Viewer • Updated • 400k • 39
Sagicc/nanoGentzen
Viewer • Updated • 200k • 78
Sagicc/ClearCoT-Opus-4.6-Reasoning
Viewer • Updated • 855 • 46 • 1
Sagicc/ClearCot-Nemotron-Cascade-SFT-1-general
Viewer • Updated • 1.78k • 20 • 1
Sagicc/postocr-sr
Viewer • Updated • 104 • 59 • 4
Sagicc/audio-lmb-ds
Viewer • Updated • 2.49k • 57