What Formic AI does

Formic AI Ltd. is a Canadian enterprise AI vendor founded in 2021 and headquartered in Toronto, Ontario. The company builds a neuro-symbolic platform — the Boreal Governance Layer and the Formic Engine — designed to eliminate hallucinations in high-stakes enterprise search by using deterministic retrieval rather than generative inference. Three filed patent applications (Recursive Decomposition, the Matcher, and the Compiler) underpin the architecture, which converts unstructured documents into knowledge graphs, verifies every claim against source material, and returns sub-90-second responses with sentence-level provenance linking back to exact source pages.

The product suite targets regulated industries where fabricated or unauditable AI output is unacceptable: AmLaw 100 law firms (where pilots have produced 825 queries over five months with zero hallucinations and +15 additional licences requested), federal regulators and defence bodies in Canada, and provincial public administration via an integration with ICI Innovations' RIVAS Major Projects system. Formic AI also offers a Canadian-branded research assistant pair (CanDoo, CanDooPDF) and a Formic OnSite air-gapped deployment option for customers requiring full data sovereignty. Distribution combines direct enterprise field sales with a flagship channel partnership through iManage for the legal vertical, plus API/SDK access for technology partners embedding the platform.

Formic AI monetises primarily through subscription SaaS with seat-based Enabled User pricing, utility-metered Active User pricing, and API fee or revenue-share licensing for integration partners; air-gapped Formic OnSite deployments are licensed separately with quarterly compliance audits. Public launch in Canada occurred in November 2025, the Boreal explainable language model launched in January 2026, and international expansion began with a KAIT MoU for South Korea in May 2026. The company has disclosed only a $650,000 seed round (Drive Capital and L-SPARK, October 2022) plus a York University prototyping award, and operates with a 1–10 person team.

Name

Formic AI

Legal name

Formic AI Ltd.

Website

https://formic.ai

Company type

Private

Founded year

2021

Operating status

Operating

Headcount range

1–10 employees

Short description

Formic AI is a Toronto-based enterprise AI vendor whose Boreal neuro-symbolic architecture delivers hallucination-proof document search and retrieval with sentence-level provenance, serving regulated industries including AmLaw 100 law firms, federal regulators, and defence bodies.

Ownership category

akta.pro rank

Product category

Enterprise AI Software

NAICS

Software Publishers (5132), Computing Infrastructure Providers, Data Processing, Web Hosting, and Related Services (5182)

SIC

Services-Prepackaged Software (7372), Services-Computer Programming Services (7371)

akta.pro primary industry

Enterprise AI Data & Knowledge Platforms (Vector Databases, Knowledge Graphs) (HDAEANAH)

akta.pro secondary industries

Responsible AI, Security & Privacy Platforms (Safety, Guardrails, PII) (HDAEANAG), Model Serving, Inference & Deployment Platforms (APIs, Edge/On-Prem) (HDAEANAC)

Keywords

• Enterprise AI platform
• Hallucination-free search
• Neuro-symbolic AI
• Document retrieval software
• Regulated industries AI

Headquarters

HQ city

Toronto

HQ country

Canada

HQ region

North America

Offices1 record

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Infrastructure, Operations, Marketing or Sales

Revenue model

1. SaaS Subscription: Primary revenue stream from cloud-hosted multi-tenant SaaS platform access. Fees calculated on Enabled User (fixed seat), Active User (utility metered monthly), or API fee licensing/revenue share models. Billed monthly or annually in advance.
2. Formic OnSite (Air-Gapped Deployment): Self-contained offline containerized installation for customer-managed infrastructure. Licensed separately for air-gapped deployments where data sovereignty requirements preclude cloud hosting.
3. API Access: Programmatic API access with SDKs and documentation. Revenue share or fee licensing model for integration partners and technology companies embedding the platform.

Pricing tiers

Go-to-market motion2 records

Distribution channels4 records

Marketing channels4 records

Core offering

Formic AI sells an enterprise AI platform for regulated industries that performs hallucination-free document search and retrieval. The platform is built on a proprietary neuro-symbolic architecture (Boreal Governance Layer) that uses deterministic retrieval instead of generative inference, transforming client documents into Knowledge Graphs and verifying every claim against source data with sentence-level provenance. The Formic Engine is the primary enterprise search application, with optional on-prem/air-gapped deployment (Formic OnSite) and API/SDK access for partner embedding.

Product overview

Formic AI is a platform-plus-modules architecture consisting of the Boreal Governance Layer as the core neuro-symbolic architecture and the Formic Engine as the primary enterprise search application built on top. Supporting products include CanDoo and CanDooPDF research assistants. The Boreal architecture is built on three patented components: Recursive Decomposition (text-to-knowledge graph transformation), The Matcher (real-time claim verification), and The Compiler (efficient knowledge graph traversal). The platform offers both cloud-hosted SaaS and Formic OnSite (air-gapped) deployment options.

Differentiator

Problem solved

Functional benefit

Brands

• Boreal: The Boreal Governance Layer is Formic AI's proprietary neuro-symbolic architecture that provides deterministic retrieval and sentence-level provenance for enterprise AI applications.
• Formic Engine
• CanDoo
• CanDooPDF

Products and services

• Boreal Governance Layer Proprietary neuro-symbolic architecture acting as a deterministic governance layer for enterprise AI. Boreal replaces probabilistic black-box models with a system that mathematically eliminates hallucinations by verifying every output against source data before delivery, built on three combined patent applications covering Recursive Decomposition, Matcher, and Compiler. Targeted at regulated enterprises in legal, government, finance, and healthcare.
• Formic Engine Enterprise search application built on top of the Boreal Governance Layer. Provides three guarantees: answers only from granted files (no model memory), ability to prove when information cannot be found, and hallucination-proof citations with sentence-level provenance linking to exact source page and line. Operates at sub-90-second retrieval at enterprise scale and powers AmLaw 100 law firm and government deployments.
• CanDoo Research Assistant Research assistant product in the Formic AI suite providing document analysis and search leveraging the Boreal architecture. Referenced in Formic AI's privacy policy and terms of service as a standalone research assistant offering alongside CanDooPDF.
• CanDooPDF Research Assistant PDF-focused research assistant product in the Formic AI suite that specialises in document analysis and search of PDF materials using the Boreal architecture. Referenced in Formic AI's privacy policy and terms of service.
• Formic OnSite (Air-Gapped Deployment) Self-contained offline-compatible containerized installation of the Formic Engine for customer-managed infrastructure. Licensed separately for air-gapped deployments where data sovereignty requirements preclude cloud hosting; runs on standard hardware without GPU clusters and is subject to quarterly compliance audits.
• Formic AI API and SDK Programmatic API access to the Boreal platform with SDKs and documentation, enabling technology companies and integration partners to embed Formic AI capabilities inside external commercial software products and third-party-facing portals. Sold under revenue share or API fee licensing with downstream EULA requirements.

Quantifiable outcome

• Zero hallucinations across 825 queries over 5 months in AmLaw 100 pilot
• +4 more outcomes

Named customers3 records

Segments4 records

Ideal customer profiles4 records

Technology focussed Yes

API detail

Has API

Yes

API docs

API detail

Core technology

AI maturity

App detail

Integration2 records

AI capability4 records

Feature6 records

Partnerships

Five partnerships are on record, tiered flagship, supporting and core.

• Korea Association for AI & ICT Promotion (KAIT)flagshipStrategic or Co-development Partner · 20 May 2026MoU signed at Canada Pavilion of Asia Tech x Singapore Expo establishing framework for strategic collaboration to accelerate adoption of secure, verifiable, and responsible AI solutions among South Korean enterprises. Formic AI will deploy Boreal and Formic Engine platforms to KAIT member companies, providing tools to leverage private data assets without compromising compliance or data security. Partnership focuses on introducing neuro-symbolic architecture to East Asian market.
• Government of Canada Trade Commissioner ServicesupportingGTM or Marketing Partner · 20 May 2026Government service facilitating international trade bridge. Provided enduring support and vital role in facilitating the international trade bridge between Formic AI and South Korea through the KAIT MoU. Trade Commissioner Service facilitates Canadian technology company expansion into international markets.
• ICI InnovationscoreStrategic or Co-development Partner · 29 April 2026Production release integration of Formic AI Engine within ICI's RIVAS Major Projects Information Management System for Canadian sovereign tech stack. Enables Responsible AI functionality for environmental impact assessments and Major Project applications in Canada. RIVAS provides single visual interface for information management, engagements, reporting and communications with issues-commitments-permits tracking. Integration creates 'Glass Box' environment where every answer is fully auditable and traceable for regulators, proponents, and stakeholders.
• York University Connected Minds ProgramcoreStrategic or Co-development Partner · 5 January 2026Partnership awarded Formic AI a Prototyping Award including funding and commercialization assistance for research centred on Boreal explainable language model. Research partnership focused on advancing verifiable enterprise AI capabilities.
• iManageflagshipChannel Partner/ Reseller/ DistributorFlagship channel partnership with iManage for law firm segment. iManage is a leading document management system provider for law firms. Partnership enables joint go-to-market for AmLaw 100 scale deployments. Partner quote: 'They've eliminated hallucinations. Their response times are 10× what you'll get anywhere else. The cost is at least half what you'd pay for any other AI tool.'

Scale indicators6 records

Recent moves7 records

Expansion highlights6 records

Broad incumbents

• Thomson Reuters (CoCounsel / Westlaw): Thomson Reuters operates Westlaw and CoCounsel legal AI products targeting the same AmLaw and in-house counsel customers. Broad incumbent with massive content moat; comparable in customer and use case but not in architectural approach.
• iManage: iManage is the dominant document management platform for law firms and is Formic's flagship channel partner. Comparable in customer base (AmLaw 100) and adjacent in capability (document workflow and AI integration), but operates as a broad incumbent rather than a specialized AI provider.
• LexisNexis (Lexis+ AI / Protégé): LexisNexis provides AI-enhanced legal research tools for law firms and legal departments. Directly comparable customer base and document-grounded Q&A use case, with the scale advantage of a major content publisher.

Direct peers

• Harvey AI: Harvey AI builds domain-specific generative AI for elite law firms and professional services, including AmLaw 100 customers. Direct overlap with Formic's law firm segment, though Harvey relies on large LLMs rather than deterministic retrieval.
• Spellbook: Spellbook is an AI assistant for legal drafting and review targeting law firms. Direct overlap with Formic's law firm segment and similar positioning around reliability and citation, though built on generative LLMs.
• Luminance: Luminance provides AI for contract analysis and legal document review across law firms and enterprises. Comparable in regulated-industry focus, document-grounded AI, and emphasis on explainability, though approaches problem with ML rather than neuro-symbolic retrieval.
• Eigen Technologies: Eigen Technologies builds document AI for financial services, insurance, and other regulated industries, with emphasis on explainability and auditability. Comparable in regulated vertical focus and enterprise document-grounded AI approach.
• Neota Logic: Neota Logic provides no-code automation and AI for legal and regulatory workflows, including document analysis and compliance reasoning. Overlap with Formic's regulated-industry positioning and enterprise search use case.
• Hebbia: Hebbia builds AI knowledge workers for finance, law, and professional services that analyze large document sets. Comparable in document-grounded enterprise AI and high-stakes professional use cases.

Emerging players

• Glean Technologies: Glean provides enterprise AI search across internal documents and apps, with emphasis on permissions-aware retrieval. Comparable enterprise search product but broader horizontal focus rather than regulated-vertical specialty.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat6 records

Key risks5 records

Key highlights7 records

Customer concentration

Compliance3 records

Revenue estimate

Valuation estimate

Number of profiles

Profiles4 records

Funding overview

Funding rounds2 records

Investors4 records

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Formic AI