rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / pass_rate_output.txt

rookiemango's picture

Upload folder using huggingface_hub

1d2a897 verified 5 months ago

218 Bytes

	Running for input path: /opt/tiger/formal-align/generate_result/zero_shot/lean4_random_test/generation/lean4_random_15k/5/opt/tiger/formal-align/generate_result/zero_shot/lean4_basic_test/generation/lean4_random_15k/5