Pramaana Labs 利用 LEAN 語言在 LLM 上建立驗證層，獲 Khosla Ventures 領投 2700 萬美元種子輪
為何重要
隨著企業試圖將 AI Pilot 程式轉型為正式業務，確保模型輸出的一致性與可靠性已成為 AI 技術落地的關鍵關卡。
Pramaana Labs 宣佈獲得 2700 萬美元種子輪融資，由 Khosla Ventures 領投。該公司團隊利用 LEAN 程式語言，在大型語言模型之上建立決定性驗證層，旨在幫助企業將不穩定的 AI Pilot 程式轉化為可靠的業務應用。