Leibniz.ai

Decision Computing

This company provides a platform for businesses to build and manage traceable AI agents for automating complex document workflows and insurance claims.

Rulemapping

This company develops legal reasoning software for government bodies and businesses to automate decision processes and translate legislation into machine-readable logic.

Omni:us

This company develops artificial intelligence software for insurance providers to automate claims processing, reduce financial leakage and assist adjusters with decision-making.

Legal-Pythia

This company develops explainable artificial intelligence software to detect fraud and contradictions in documents for government entities, law firms, and banks.

AI reasoning engine

This company develops verified artificial intelligence systems that solve complex mathematical problems and prove theorems for researchers in science, engineering and finance.

Lexroom.AI

This company develops an artificial intelligence platform for legal research, document analysis and automated drafting for law firms and corporate legal teams.

Unlikely AI

This company develops a neurosymbolic platform for explainable decision-making and automated document analysis for customers in regulated sectors like banking and insurance.

Curant

This company provides an artificial intelligence platform to automate claims adjudication and data extraction for insurance organisations.