Models
Datasets
Spaces
Posts
Docs
Pricing
Log In
Sign Up

ciyazhou
/

metamath

Model card Files Files and versions Community

metamath / generation_config.json

Commit History

First model version

41bc9de

ciyazzzk commited on Sep 4