Test for Genzen calculus in LLM logic verification.
Andrija
Sagicc
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
liked a model 13 days ago
MuScriptor/muscriptor-medium updated a model about 1 month ago
Sagicc/nanoGentzen-v2 new activity about 1 month ago
Sagicc/nanoGentzen-v2:Upload overview-flow.svgOrganizations
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