Logical Intelligence develops AI reasoning models and formal verification software for researchers and engineers working on critical systems. Its Kona 1.0 model uses energy-based reasoning to find solutions within defined constraints, targeting applications in energy infrastructure, advanced manufacturing, semiconductor verification and robotics. Its Aleph Prover automates mathematical proofs and software verification, producing machine-checkable proofs to help establish code correctness. The company also develops verified code generation tools for software whose reliability must be demonstrated before deployment.