“A non-profit research group applying category theory to AI verification.”In its own words: glaive-research.org
Nonprofit research group applying category theory to AI verification, building open-source software infrastructure based on the theory of containers, including typed theorem-proving tactics.
Show detailsHide details
Received $425k from 1 funder
Led by Zans Mihejevs (director (Companies House)), André Videla (director (Companies House)), Bruno Gavranović (team), Jules Hedges (team)Checked 26 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $425k, newest first.
2024 1 grant · $425k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 28 Aug 2024 | Advanced Research + Invention Agency | $425k | Safeguarded AI TA1.1 (grant, 12 months); £334,686 ex VAT (end of Q2 FY24-25 transparency data, awards since 1 Jul 2024); technical area inferred source |