{"id":"486c9da3-6bba-4f01-ad67-699251416cbc","slug":"hf-model-sagicc-nanogentzen-v2-12490jw-l","name":"nanoGentzen-v2","description":"Hugging Face model Sagicc/nanoGentzen-v2. Task: feature extraction. Library: custom. 33 downloads.","capabilities":["custom","safetensors","nanogentzen","logic","gentzen","sequent-calculus","intuitionistic-logic","automated-theorem-proving","formal-verification","policy-value-network","pytorch","feature-extraction","custom_code","en","dataset:Sagicc/nanoGentzen-v2","license:mit"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:35.813Z"}