Explainable IntelligenceGoverned by Logic
Inveena is developing neuro-symbolic AI for legal, regulatory and financial decision-making.
Rules live in documents.
Decisions happen in systems.
Contracts, regulation and policy define rights, obligations and constraints. Inveena connects their meaning to the data and systems institutions use to make decisions.
Intelligence grounded
in its domain.
We combine the flexibility of language models with formal domain knowledge and logic-based reasoning. Explore decisions and their consequences, with the applicable rules, facts and evidence in view.
Inveena — inmhínithe
Inspired by the Irish adjective meaning
“explicable; capable of being explained”.
The expertise
behind Inveena.
Inveena brings together world-leading experts in computable contracting, financial markets and logic-based programming.