Graph explorer Dataset
Research network around stepfun-ai/StepFun-Formalizer-Training
Papers, authors, the models and datasets they describe. Click a node to inspect it, double-click to expand, drag to pan, wheel to zoom.
2 nodes · 1 edges
2 nodes · 1 edges
100% · drag to pan · wheel or pinch to zoom · double-click a node to expand
Every node, as a list (2)
- Datasetstepfun-ai/StepFun-Formalizer-Training
- ModelStepFun-Formalizer-7BStepFun
Direct relations of stepfun-ai/StepFun-Formalizer-Training, as a list
- Used to train 1
- ModelStepFun-Formalizer-7B