Imandra Inc.

Opis

Imandra to platforma oparta na zautomatyzowanym rozumowaniu logicznym, która dodaje rygor i wiarygodność do systemów AI. Integruj logiczne wnioskowanie bezpośrednio w swoje modele językowe, aplikacje i przepływy agentów, aby budować neurosymboliczne systemy AI, którym można zaufać. Rozwiązania obejmują weryfikację formalno-logiczną, integrację systemów, autonomiczne systemy i wsparcie dla sektora finansowego oraz obronnego. Używana przez badaczy, korporacje i agencje rządowe na całym świecie.