Test for Genzen calculus in LLM logic verification.
Andrija
Sagicc
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
updated a model about 5 hours ago
Sagicc/nanoGentzen-v2 new activity about 5 hours ago
Sagicc/nanoGentzen-v2:Upload overview-flow.svg updated a Space 10 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