Harman Singh

harman's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-benchmark 1 day ago

Add zero-shot MV delegated-call audit

#3 opened 1 day ago by

harman

New activity in MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-benchmark 2 days ago

Add Harman verification result tables through 2026-09-24

#2 opened 2 days ago by

harman

New activity in MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-benchmark 4 days ago

Add Stage-1 verification result tables

#1 opened 4 days ago by

harman

commented a paper 7 months ago

$V_1$: Unifying Generation and Self-Verification for Parallel Reasoners

Paper • 2603.04304 • Published Mar 4 • 14 •

3