yotsubian
/

qwen

theorem-proving

Model card Files Files and versions

qwen / results

34.6 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

yotsubian's picture

Upload results/eval_finetuned.json with huggingface_hub

b196674 verified about 1 month ago

eval_baseline.json

17.3 kB
Upload results/eval_baseline.json with huggingface_hub about 1 month ago
eval_finetuned.json

17.3 kB
Upload results/eval_finetuned.json with huggingface_hub about 1 month ago