Imiron's Latest Funding Round
Imiron, the company behind the inference verification platform "SpecForge" for autonomous driving and robotics, announced on June 8, 2026, that it has raised ¥140 million in a Pre-Series A funding round. The round was led by DG Daiwa Ventures, with additional investments from Mitsubishi UFJ Capital and Gougin Capital.
About SpecForge
SpecForge is designed to transform abstract and ambiguous requirements into mathematically rigorous formal specifications. These specifications can be directly used as verification and monitoring rules during operation. The platform primarily targets mission-critical sectors such as autonomous driving, robotics, and medical devices. It features unique technical characteristics, including formal specification description using the proprietary DSL "Lilo," and specification based on Signal Temporal Logic (STL). Additionally, it supports converting natural language into formal specifications using Large Language Models (LLM).
Use of Funds
The newly acquired funds will be utilized to accelerate the research and development of the SpecForge platform, which is grounded in mathematical logic. Imiron also plans to expand its business operations and strengthen its recruitment efforts by attracting top-tier global engineers.
Company Background
Imiron was founded in August 2024 by Masakazu Adachi, who previously oversaw European R&D at Toyota Central R&D Labs, Denso, and Denso Germany. The company aims to democratize the description of formal specifications with AI support. In line with this goal, Imiron launched a joint verification project with an autonomous driving technology company, T2, last August to demonstrate the safety of autonomous driving through formal safety arguments.
Imiron's focus on advancing its SpecForge platform highlights its commitment to enhancing safety and reliability in autonomous driving and robotics, making it a key player in these evolving industries.