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 4 hours ago
Sagicc/nanoGentzen-Jev-v3 new activity about 4 hours ago
LocalLLaMA/typed-decisions:Add Sagicc/nanoGentzen-Jev-v3 (4.93M params) — 0.731 acc, 0.150 KL, 0.081 Brier, 0.087 ECE new activity about 17 hours ago
Sagicc/nanoGentzen-Jev-v3:Add Typed Decisions eval results