dataset
NuminaMath-LEAN-Expert-Iteration
ChristianZ97
or hover any field below to flag it
Overview
Name
NuminaMath-LEAN-Expert-Iteration
Source
ChristianZ97
Episodes
0
Robot count
0
Format
other
Description
Dataset NuminaMath-LEAN-Expert-Iteration by ChristianZ97.
Robots used
null
Links
HuggingFace dataset