cat-searcher/minif2f-lean4: Dataset from Hugging Face: cat-searcher/minif2f-lean4 License: mit. external Hugging Face metadata. Scan: pending.
Open interactive artifact page