violinwang

violinwang

5

AI & ML interests

None yet

Recent Activity

updated a Space 30 days ago

violinwang/specpss-demo

published a Space about 1 month ago

violinwang/specpss-demo

updated a dataset about 1 month ago

violinwang/specpss-benchmark

View all activity

Organizations

None yet

Collections 1

spaces 1

SpecPSS Demo

Generate verification intent and PSS code from a design spec

models 0

None public yet

datasets 4

violinwang/specpss-benchmark

Viewer • Updated Jul 8 • 52 • 24

violinwang/truthful_qa_test_clean

Viewer • Updated Oct 24, 2025 • 164 • 21

violinwang/StrategyQA_test_clean

Viewer • Updated Oct 24, 2025 • 687 • 71

violinwang/commonsense_qa_test_clean

Viewer • Updated Oct 24, 2025 • 1.22k • 17