Broblems es una plataforma impulsada por IA que analiza las quejas de los usuarios para descubrir necesidades genuinas del mercado, ayudando a los desarrolladores a crear soluciones centradas en el usuario.

Imandra Inc. ofrece una plataforma para el razonamiento lógico en IA, mejorando la toma de decisiones y la verificación de argumentos.