Led Lanyon AI's $11M Seed round. Lanyon AI is a neurosymbolic AI platform for high-precision scientific and technical computing applications.
Lanyon AI is building the formally verified substrate connecting AI to the physical world, focusing on correctness in scientific computing through a neurosymbolic approach that combines AI with formal verification
Lanyon AI is building the formally verified substrate connecting AI to the physical world, focusing on correctness in scientific computing through a neurosymbolic approach that combines AI with formal verification.