Imiron, Developer of Infrastructure to Ensure Safety for Autonomous Driving and Physical AI, Raises 140 Million Yen in Pre-Series A Funding
Imiron, which develops infrastructure to ensure the safety of autonomous vehicles and robots, has raised 140 million yen in a Pre-Series A round. Led by DG Daiwa Ventures, the funds will be used for engineer recruitment and the R&D of the AI system verification platform 'SpecForge.' The company uses mathematical logic to ensure the safety and accountability of physical AI.
📋 Article Processing Timeline
- 📰 Published: June 1, 2026 at 12:00
- 🔍 Collected: June 1, 2026 at 12:28 (28 min after Published)
- 🤖 AI Analyzed: June 1, 2026 at 12:31 (2 min after Collected)
Imiron Co., Ltd. (Chiyoda-ku, Tokyo; Representative Director: Masakazu Adachi; hereinafter 'Imiron'), a developer of safeguard technology and infrastructure for logical explanation when autonomous vehicles and robots operate via AI, announces that it has raised 140 million yen in a Pre-Series A round, led by DG Daiwa Ventures (DGDV), with participation from Mitsubishi UFJ Capital Co., Ltd. and Gogin Capital Co., Ltd. As AI moves beyond screens and is implemented in the physical world as 'Physical AI,' there is an increasing demand for safety, quality, and accountability that meets standards and regulations, not only in mission-critical areas like autonomous driving, medical devices, and robotics, but also in AI-utilized systems like chatbots, where hallucinations are unacceptable. Imiron was established by three researchers with the goal of eliminating the 'deployment gap' between hardware design and implementation, and significantly advancing quality assurance in system development in the AI era. With this funding, the company will strengthen its recruitment of top-tier global engineers and further accelerate the R&D and business expansion of 'SpecForge,' a next-generation AI system verification platform for Physical AI based on mathematical logic. 'SpecForge' is a next-generation platform that enables the description and verification of abstract and ambiguous requirements as 'mathematically rigorous' specifications. It dramatically improves the efficiency of formal specification description, which was previously difficult to master, through the support of the proprietary language 'Lilo' and LLMs (Large Language Models).
FAQ
What are formal methods?
They are techniques that use mathematical methods to verify the correctness of software.