{"id":"af56d534-517c-4581-b5e3-b296761c14f7","slug":"hf-model-duoia-duotactic-i6el5k-f","name":"duotactic","description":"Hugging Face model Duoia/duotactic. Task: text generation. 248 downloads. 1 likes.","capabilities":["safetensors","SchemeC-lean-tactic","lean4","theorem-proving","proof-automation","proof-search","tactic-search","formal-mathematics","mathlib","miniF2F","proof-harness","automated-reasoning","interactive-theorem-proving","text-generation","en","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":39.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:01.574Z"}