tencent/HyperLogic
Viewer • Updated • 158 • 453 • 2
Edit Datasets filters
Active filters: formal-verification
callensxavier/socrateai-fricke-involution
Viewer • Updated • 3 • 106 • 1
FormalCert-AI/DynaCertBench
Viewer • Updated • 105 • 145 • 2
englund/quantum-lean-hard-vvuq-dataset
Viewer • Updated • 11 • 108 • 1
Veri-Code/ReForm-Python2Dafny-Dataset
Viewer • Updated • 17.5k • 188 • 2
Veri-Code/ReForm-DafnyComp-Benchmark
Viewer • Updated • 300 • 234 • 1
AIDoctrine/FPC-AE1-SimpleQA-Results
Viewer • Updated • 200 • 91
GuoxinChen/ConsistencyCheck
Viewer • Updated • 859 • 57 • 5
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 33
introspector/meta-meme
Viewer • Updated • 2.18k • 22 • 1
iiis-lean/NuminaMath-LEAN-Sol
Viewer • Updated • 81.3k • 102
Benchify/BuddenBench
Viewer • Updated • 2.12k • 47
uw-math-ai/APRIL
Preview • Updated • 655 • 10
MathNetwork/MathlibGraph
Preview • Updated • 522
yuanhezhang/lean4-stat-learning-theory-novel
Viewer • Updated • 865 • 134
yuanhezhang/lean4-stat-learning-theory-random
Preview • Updated • 90
yuanhezhang/lean4-stat-learning-theory-corpus
Viewer • Updated • 470 • 132 • 5
7rouz/lean4
Viewer • Updated • 1 • 30
Agnuxo/OpenCLAW-SEED-data
Preview • Updated • 12.7k • 4
qbz506/vyapti-probe-benchmark
Updated • 132
iiis-lean/NuminaMath-LEAN-Proof-Artifacts
Viewer • Updated • 73.4k • 922
RickyDeSkywalker/GAR_baseDataset
Viewer • Updated • 781k • 80
the-clanker-lover/steelman-sft-ada
Preview • Updated • 226 • 1
7rouz/atomic-formal-reasoning-complex
Viewer • Updated • 9 • 54
banach1729/goedel-workbook-lean427
Updated • 1.03k
lizn-zn/algoveri-lean
Viewer • Updated • 78 • 491
Agnuxo/P2PCLAW-Innovative-Benchmark-Agents
Viewer • Updated • 1 • 16
Agnuxo/P2PCLAW-Innovative-Benchmark
Updated • 19.8k • 2
OmegaCombinator/acornlib-benchmark
Viewer • Updated • 50 • 22
StanfordLeanClub/c-py-dataset
Viewer • Updated • 107 • 60