Product line release timeline
Generational evolution by product line · dot = one model release · dashed line connects successive generations · click a dot to open the model page
Models
1
Time span
0days
Avg. gap
—
Published models
1 modelsModels published by Harmonic, grouped into 1 categories.
Reasoning models
1 modelsAbout this organization
Harmonic is a US company building mathematical reasoning and formal-verification AI; its Aristotle agent produces machine-checked Lean proofs.