duotactic
Open-weight LLM by Duoia
Live
Open / InstallLast updated October 23, 2026
Description
duotactic is an open-weight text-generation model published by Duoia on the Hugging Face Hub. It has 281 downloads.
Community Metrics
Views
1
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—
Author
Duoia
Platform
api
Pricing model
free
Categories
- Research
Tags
- SchemeC-lean-tactic
- lean4
- theorem-proving
- proof-automation
- proof-search
- tactic-search
- formal-mathematics
- mathlib
Capabilities
- Text generation
Information
TypeLarge Language Model
Model TypeText Generation
SourceHuggingface Models
AddedOctober 18, 2026