rookiemango
/

lean4-compile

Model card Files Files and versions Community

lean4-compile / gpt_pass_rate_new_notlean_test.py

Commit History

Upload folder using huggingface_hub

dddc1ae
verified

rookiemango commited on Sep 22, 2024