playra/numeric-conformance-packs
Viewer • Updated • 138 • 127
Edit Datasets filters
Active filters: formal-verification
openbmb/MA-ProofBench
Viewer • Updated • 200 • 405 • 18
SZLHOLDINGS/a11oy-verifiable-corpus
Viewer • Updated • 478 • 3.24k
for-all-dev/CompCert-eval
Viewer • Updated • 4.19k • 41
for-all-dev/fiat-crypto-eval
Viewer • Updated • 11.1k • 35
for-all-dev/l4v-eval
Viewer • Updated • 24.4k • 31
erer-can/minif2f-isabelle
Viewer • Updated • 488 • 20
jiayi005/ITPEval
Updated • 93 • 1
paberr/guardrail-head-embeddings
Updated • 47
seancollins/formal-refutations
Updated • 22
seancollins/lean-quantfinance
Viewer • Updated • 2.96k • 57
aashay96/scientific-posttrain-rtl-formal-eval
Preview • Updated • 22
Sanyan/litex-math23k
Viewer • Updated • 22.3k • 50
ChristianZ97/putnambench-satp-v4.27
Viewer • Updated • 672 • 28
hath995/DafnyGithub-Dataset
Viewer • Updated • 106k • 57
for-all-dev/ablation-eval
Viewer • Updated • 43.4k • 13
nickh007/cve-proof-corpus
Viewer • Updated • 6 • 53
nickh007/hw-verify
Viewer • Updated • 49 • 69
humanfia-lab/QAlg
Viewer • Updated • 36 • 377
nickh007/hw-verify-paths
Viewer • Updated • 27 • 31
humanfia-lab/QIT
Viewer • Updated • 40 • 203
humanfia-lab/lean-eval-source
Updated • 2.48k
vince-gonzalez/generated-proofs-axioms
Viewer • Updated • 9.73k • 17
vince-gonzalez/gonzalgo-indexes
Viewer • Updated • 5.29k • 68
openbmb/FormalVerse
Viewer • Updated • 367k • 352 • 16
SantiagoTristany/el-espejismo-de-la-sustancia
Viewer • Updated • 36.8k • 127
ChristianZ97/proofnet-satp-v4.27
Viewer • Updated • 371 • 23
formalica/OEISLib
Updated • 280
beatsprom/ai-code-generation-swe-agents-2026
Viewer • Updated • 100 • 59
NagaYu/dissent-synthetic-clause-ambiguity
Viewer • Updated • 196 • 53