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 Logical Intelligence, grouped into 1 categories.
Reasoning models
1 modelsAbout this organization
Logical Intelligence builds Aleph Prover, an AI system that constructs machine-checkable formal proofs for verification and verified code generation.