#Japan #AI Safety #Chiyoda #Imiron #SpecForge

Imiron Secures Major Funding for AI Safety Innovations

Imiron, a trailblazer in the field of physical AI, has successfully raised a total of 140 million yen in a pre-Series A funding round. The round was led by DG Daiwa Ventures, along with significant contributions from Mitsubishi UFJ Capital and Gokin Capital. This funding aims to enhance the safety frameworks necessary for the deployment of AI technologies in life-critical applications, such as autonomous vehicles and medical devices.

Background and Future Directions

As AI becomes more integrated into physical systems, the need for robust safety mechanisms is increasingly vital. Imiron understands that systems, like those used in autonomous driving and healthcare, cannot afford to experience phenomena known as "hallucinations." There’s an urgent demand for accountability in ensuring that these systems meet quality, safety, and compliance regulations more than ever.

Previously, ambiguities stemming from conventional documentation methods such as Word or Excel have led to significant setbacks and bugs during the design and implementation phases. As statistical behaviors of AI systems become harder to predict, establishing clear specifications has become paramount for both quality assurance and accountability.

Founded by a trio of leading researchers, Imiron aims to tackle these challenges by bridging the "deployment gap" that often exists between hardware design and its implementation. Masakazu Adachi, the CEO, brings rich experience leading research and development in autonomous driving and vehicle software from his previous roles with Toyota Central R&D Labs, Denso, and Denso Germany. Co-founder and CSO, Katsuaki Hasuo, is a professor at the National Institute of Informatics and has made significant contributions to mathematical reliability and software system research. CTO James Haydon, well-versed in formal methods and functional programming, contributes a strong technical background from his academic achievements at Imperial College London and Oxford University. Collectively, they drive Imiron’s vision of creating transparent and verifiable systems for the autonomous and physical AI era.

The SpecForge Platform

With this funding, Imiron will intensify efforts to attract top-tier engineers globally and accelerate the development of its next-generation AI verification platform, known as SpecForge.

SpecForge aims to transform abstract, vague requirements into mathematically precise specifications, facilitating a new era in AI system development. This platform leads to the democratization of formal specifications powered by AI, making previously complex tasks significantly more efficient with the aid of its proprietary language, Lilo, and large language models.

Furthermore, the platform establishes logical and consistent specifications that not only elevate design quality but also serve as operational verification and monitoring rules in real-time. Imiron is positioned to pursue continuous quality assurance based on unified specifications through an integrated approach across design, implementation, operation, and improvement processes, also referred to as SpecDevOps.

This innovative platform received high acclaim, earning the AI Design Support Award at the EdgeTech+ AWARD 2025, further validating its potential impact in the industry.

Investor Insights

The investment community is enthusiastic about Imiron's approach. Yuuta Sanada and Masaki Masuyama from DG Daiwa Ventures express confidence that as next-gen mobility solutions advance, the industry's need for proof of safety will only increase. They foresee the role of verification technologies becoming an essential infrastructure as autonomous driving evolves.

Officials from Mitsubishi UFJ Capital highlight the structural challenges in developing complex systems amidst ambiguous specifications and stress the urgency of adopting mathematical logic techniques that Hasuo has championed. They are excited about being part of Imiron's journey in tackling these industry-wide challenges.

Moreover, Shuichi Ida from Gokin Capital emphasizes the potential of Imiron’s verification technology to shorten development cycles dramatically, enabling innovative solutions that can support the Japanese government’s outlined priority areas effectively.

Closing Comments from CEO Masakazu Adachi

According to Adachi, the vagueness of specifications has long posed risks and setbacks in software development, especially amid the growing complexity brought by generative AI. He emphasizes that clearer specifications are now more vital than ever to safely leverage AI technologies in design stages.

Imiron is committed to providing an enriched developer experience while incorporating the expertise from its world-class engineering team. With strong backing from its investors, Imiron aims to pioneer the advancement of formal methods and mathematical logic in mainstream applications, pushing towards a future where AI can be used safely and effectively in various critical domains.

About Imiron

Founded in Tokyo, Japan in August 2024, Imiron is dedicated to consulting on system development, data verification software, and design support software. With a mission to reshape the future of AI safety and verification, Imiron’s innovative projects are set to lead the industry into a new era of safe autonomy. Key to this vision is their extensive expertise and commitment to quality assurance, making them a pivotal player in the next generation of mobility solutions. For more information, visit Imiron's official website.