Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
rookiemango
/
auto-info
like
0
Model card
Files
Files and versions
Community
main
auto-info
/
miniF2F-lean4
1 contributor
History:
1 commit
rookiemango
Upload folder using huggingface_hub
32b6f1a
verified
7 months ago
MiniF2F
Upload folder using huggingface_hub
7 months ago
.gitignore
Safe
24 Bytes
Upload folder using huggingface_hub
7 months ago
LICENSE
Safe
1.09 kB
Upload folder using huggingface_hub
7 months ago
Main.lean
Safe
80 Bytes
Upload folder using huggingface_hub
7 months ago
MiniF2F.lean
Safe
70 Bytes
Upload folder using huggingface_hub
7 months ago
MiniF2FLean4.lean
Safe
20 Bytes
Upload folder using huggingface_hub
7 months ago
README.md
Safe
128 Bytes
Upload folder using huggingface_hub
7 months ago
handle_minif2f_test.jsonl
Safe
354 kB
Upload folder using huggingface_hub
7 months ago
handle_minif2f_valid.jsonl
Safe
331 kB
Upload folder using huggingface_hub
7 months ago
lake-manifest.json
Safe
2.21 kB
Upload folder using huggingface_hub
7 months ago
lakefile.lean
457 Bytes
Upload folder using huggingface_hub
7 months ago
lean-toolchain
Safe
28 Bytes
Upload folder using huggingface_hub
7 months ago
minif2f_lean4.jsonl
Safe
656 kB
Upload folder using huggingface_hub
7 months ago
