Open Issues Need Help
View All on GitHub Add one published quantum claim as a benchmark 26 days ago
help wanted good first issue
fraware/QSpecBench fraware/QSpecBench A shared benchmark suite for checking quantum correctness claims.
Open project →
1
A shared benchmark suite for checking quantum correctness claims.
Python
#benchmark-suite#formal-methods#lean4#quantum-circuits#quantum-verification
Audit the next QSpecBench corpus release about 2 months ago
help wanted
fraware/QSpecBench fraware/QSpecBench A shared benchmark suite for checking quantum correctness claims.
Open project →
1
A shared benchmark suite for checking quantum correctness claims.
Python
#benchmark-suite#formal-methods#lean4#quantum-circuits#quantum-verification
Reproduce one reference claim independently about 2 months ago
help wanted
fraware/QSpecBench fraware/QSpecBench A shared benchmark suite for checking quantum correctness claims.
Open project →
1
A shared benchmark suite for checking quantum correctness claims.
Python
#benchmark-suite#formal-methods#lean4#quantum-circuits#quantum-verification