rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / pass_rate_output_lean.txt

rookiemango's picture

Upload folder using huggingface_hub

dddc1ae verified 5 months ago

history blame contribute delete

180 Bytes

	Running for input path: /opt/tiger/auto-info/generate_result/zero_shot/wild_test/generation/lean4_random_15k_all/2/5/
	Processing Commands: 0%\| \| 0/1000 [00:00<?, ?it/s]