Test for Genzen calculus in LLM logic verification.
Andrija
Sagicc
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
updated a model 9 days ago
Sagicc/nanoGentzen-v2 new activity 12 days ago
Sagicc/nanoGentzen-v2:Upload overview-flow.svg updated a Space 22 days ago
Sagicc/nanoGenzen-GUIOrganizations
Qwen3 Serbian
This is an experiments for adapting Qwen3 models for Serbian
Whisper Serbian
Fine tuned Whisper on Serbian datasets
nanoGentzen
Test for Genzen calculus in LLM logic verification.
Occam ClearCoT
Presenting a new Clear Chain of Thought (ClearCoT) concept.
Qwen3 Serbian
This is an experiments for adapting Qwen3 models for Serbian
Tokenizer test
Tokenizers for testing on transformer.js
Whisper Serbian
Fine tuned Whisper on Serbian datasets