rookiemango
/

auto-info

Model card Files Files and versions Community

auto-info / miniF2F-lean4 /.gitignore

rookiemango's picture

Upload folder using huggingface_hub

32b6f1a verified 7 months ago

history blame contribute delete

24 Bytes

	/build
	/lake-packages/*