Test for Genzen calculus in LLM logic verification.
Andrija
Sagicc
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
new activity about 15 hours ago
LocalLLaMA/typed-decisions:[Leaderboard Submission] nanoGentzen-v3 (4.93M) - 76.75% Accuracy (General) - New Version updated a model about 15 hours ago
Sagicc/nanoGentzen-v3 new activity 3 days ago
Sagicc/nanoGentzen-v3:Add Typed Decisions eval results