Test for Genzen calculus in LLM logic verification.
Andrija
Sagicc
·
AI & ML interests
Audio, Acoustics, SmallLM, CleatCoT, Cultural Heritage
Recent Activity
new activity 1 day ago
Sagicc/nanoGentzen-v3:Add Typed Decisions eval results updated a model 1 day ago
Sagicc/nanoGentzen-Jev-v3