llemma_formal2formal/output at master · wellecks/llemma_formal2formal · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
codellama34b_minif2f_test		codellama34b_minif2f_test
codellama7b_minif2f_test		codellama7b_minif2f_test
llemma34b_minif2f_test		llemma34b_minif2f_test
llemma7b_minif2f_test		llemma7b_minif2f_test
README.md		README.md

README.md

Please note:

Llemma34b was run with three shards: 1 shard for the first 122 theorems, and two for the remaining.