Aivora

AI Research

AI 研究

機器學習基礎研究與論文。

4 篇文章

硬體驗證 AI 的試金石:EquivSVA 形式驗證資料集,揪出 LLM 程式碼生成的虛實
arXivAI 研究

硬體驗證 AI 的試金石:EquivSVA 形式驗證資料集,揪出 LLM 程式碼生成的虛實

Testing AI Hardware Verification: EquivSVA Dataset Reveals LLM Robustness Across Equivalent RTLs

EquivSVA 是一個開源且經過形式驗證的資料集,專為評估 LLM 生成 SystemVerilog 斷言(SVA)的穩健性而設計。它透過 120 個「行為家族」和 480 個等價但結構不同的 RTL 實作,測試 AI 是否能抓到本質行為,而非流於特定程式碼細節。

2 分鐘閱讀
AI 真的能幫產品設計省時間嗎?首個 Figma Make 的隨機對照實驗揭密
arXivAI 研究

AI 真的能幫產品設計省時間嗎?首個 Figma Make 的隨機對照實驗揭密

Does AI Save Time on Product Design? A Randomized Controlled Trial of Figma Make Workflows

這項針對 100 名專業人士的隨機對照實驗顯示,使用 AI 的 Prompt-to-Design 工具(如 Figma Make)可縮短約 20% 的任務完成時間,且對非設計專業的產品經理(PM)效果尤為顯著。

2 分鐘閱讀