FuriosaAI-Berkeley

AI & ML interests

None defined yet.

Recent Activity

MinjaeLee-FuriosaAI  updated a dataset about 1 hour ago

MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-harness-opt

MinjaeLee-FuriosaAI  new activity about 6 hours ago

MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-benchmark:Add zero-shot MV delegated-call audit

MinjaeLee-FuriosaAI  new activity about 6 hours ago

MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-benchmark:Add Harman verification result tables through 2026-09-24

View all activity

Team members 6