9606 Human AI

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.

Hanno Labs

This company develops proprietary artificial intelligence models and systems for legal, compliance, and strategy teams within highly regulated industries.

Neuromorphic Labs

This company develops artificial intelligence infrastructure software providing verifiable trust and governance for production systems to organisations deploying models and agents at scale.

humans&

This company develops human-centric frontier artificial intelligence models designed to enhance collaboration and decision support for developers, researchers and large organisations.

Safe Intelligence

This company develops formal verification and validation software for machine learning models used by developers in finance, mobility, robotics and aviation sectors.

Human-centered AI safety

This company provides software that evaluates and monitors artificial intelligence models to identify psychosocial risks for developers in healthcare and life sciences.

913.ai

This company develops an AI agent platform that automates repetitive document workflows and administrative tasks for regulated industries like insurance, legal and finance.

human.tech

This company develops privacy-preserving digital identity and secure key management protocols for people, institutions and artificial intelligence agents.