/
Logical Intelligence
Logical Intelligence builds non-autoregressive, token-free Energy-Based Models (EBMs) for constraint-critical domains. Their Kona 1.0 EBM reasons by minimizing an energy function over structured state space rather than predicting tokens. Aleph, their formal verification agent, generates machine-checkable proofs. Target verticals: energy infrastructure, semiconductor verification, industrial automation, and defense.
Links
LAST 30 DAYS
No records found
Try modifying the filters