Imiron, Developer of Infrastructure to Ensure Safety for Autonomous Driving and Physical AI, Raises 140 Million Yen in Pre-Series A Funding
NQ Score
54/100
N1 Content Completeness
10
AI Summary (NQ-processed)
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.
AI Analysis
Frequently Asked Questions
- Q: What are formal methods?
- A: They are techniques that use mathematical methods to verify the correctness of software.