Axiomatic AI offers Lemma, an AI co‑explorer that combines large‑language‑model reasoning with formal proof systems to deliver mathematically verified results for engineering and scientific problems. The platform supports photonics, electronics, thermal, mechanics, and signal domains, outputting code‑enabled Marimo notebooks that can be run locally, via MCP, or integrated into GitHub workflows, ensuring provably correct calculations and eliminating AI hallucinations.

ENES develops predictive intelligence tools that utilize advanced modeling techniques to assess the systemic impacts of supply chain disruptions, such as climate and weather events. By providing accurate predictive KPIs and custom scenario analyses, ENES enables businesses to mitigate disruption costs and enhance operational resilience.

Intrepid Labs provides VALIANT, an autonomous laboratory platform that combines active machine learning with advanced robotics to plan, execute, and analyze drug formulation experiments. By using data‑driven experiment selection and a closed‑loop workflow, VALIANT reduces the number of tests and material required, enabling pharmaceutical and biotech companies to develop optimized formulations faster and at lower cost.

Kebotix utilizes a self-driving lab that integrates cloud technologies, machine learning, and physical modeling to accelerate materials discovery and production. This approach addresses the lengthy and inefficient R&D processes in material innovation, enabling faster market entry for new products.

The startup develops organic semiconductor laser technology that utilizes organic fluorescent materials to create low-cost laser diodes. This technology enables the production of efficient light sources that can be seamlessly integrated into OLED and organic electronic applications, addressing the need for affordable and environmentally friendly lighting solutions.

Mark provides a unified commerce platform that integrates physical and digital sales channels, allowing businesses to manage operations, track performance metrics, and engage customers through automated CRM tools. This solution addresses the challenge of fragmented sales processes by centralizing data and streamlining customer interactions, enhancing productivity and decision-making for small and medium enterprises.

Modl.ai provides an AI-driven engine that utilizes virtual player bots for automated quality assurance and player behavior simulation throughout the game development lifecycle. This technology identifies bugs and performance issues while ensuring balanced gameplay and enhanced player engagement, significantly reducing testing time and costs.

Saga Robotics develops the Thorvald autonomous robot, which utilizes UV-C light treatment to control powdery mildew in crops, enhancing plant health and yield. This modular system performs various labor-intensive agricultural tasks, reducing reliance on manual labor and minimizing chemical fungicide use.

SANCTUARY Insight automates OT asset management by discovering devices, analyzing vulnerabilities, and providing security recommendations. This allows organizations to gain visibility into their operational technology environment and proactively mitigate risks.

SiC Systems provides a multi‑agent AI platform that combines physics‑informed AI agents, digital twins, and advanced control algorithms to orchestrate and optimize complex industrial and defense processes in real time. By fusing fragmented sensor data into a unified view and enabling constraint‑aware autonomous decision‑making, the solution reduces manual intervention, batch variation, and energy use while integrating with existing control infrastructure.

Universal Quantum is developing utility-scale quantum computers using a modular architecture to enhance error correction and scalability. This technology aims to address complex challenges in fields such as optimization, cryptography, and materials science, enabling practical applications that were previously unattainable.

The company provides a platform for quantum‑focused simulation and machine‑learning workloads, enabling users to identify problems suited for quantum advantage, benchmark utility‑driven use cases, and develop quantum algorithms through step‑by‑step circuit construction.