Overview
Provably correct AI code conversion for defense, automotive, and semiconductor software
Funding
USD estimates from the source recordListed 1 funding record. Latest funding: $37M (A轮), Nov 12, 2025.
Annual trendUnit: USD estimate
| Date | Amount | Investors | Source |
|---|---|---|---|
| Nov 12, 2025 | $37M | Accel, Fulcrum Venture Group, J2 Ventures, John Tenet, Kendall Collins, Overmatch Ventures, Paul Schimmel, Robert Cohn, RTX Ventures, Shield Capital, Smith Point Capital |
Valuation
USD estimates from the source recordListed 1 valuation record.
Annual trendUnit: USD estimate
No chartable valuation estimates yet.
1 listed record lack a clear date or positive USD estimate for the chart.
| Date | Amount | Investors | Source |
|---|---|---|---|
| Nov 12, 2025 | — | Accel, Fulcrum Venture Group, J2 Ventures, John Tenet, Kendall Collins, Overmatch Ventures, Paul Schimmel, Robert Cohn, RTX Ventures, Shield Capital, Smith Point Capital |
Revenue
USD estimates from the source recordNo revenue records are listed yet.
Annual trendUnit: USD estimate
No chartable revenue estimates yet.
No revenue rows to list.
Team, products & investors
Sources & provenance
English text is maintained separately from the original record. Consult the original source before citing a fact.
No source links are available for this profile.
Original source text
Names may use phonetic renderings when no English name is supplied. The original wording is retained below.
为国防、汽车和半导体软件提供可证明正确的 AI 代码转换