Qwen2.5-7B-Instruct_Lean_Code / eval_results.json

Commit History

Add files using upload-large-folder tool
3cab262
verified

cutelemonlili commited on