About IMANDRA INC.
Imandra Inc. provides AI reasoning tools that enable systems to understand, verify, and justify the behavior of AI-generated software, with applications in financial infrastructure and autonomous workflows. They are trusted by major organizations including government agencies and leading financial institutions.
AI reasoning for software verification and justificationFormal reasoning to extend LLM capabilities for software analysisNeurosymbolic AI combining LLMs with symbolic reasoningCodeLogician for translating source code into mathematical logicAutomated state-space decomposition for benchmarking reasoning qualitySeamless integration with AI coding assistants for logical audit trails and test case generation
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to IMANDRA INC. right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate? Let us know.