yotsubian
/

qwen

theorem-proving

Model card Files Files and versions

Commit History

Upload config_exp1.yaml with huggingface_hub

ed59074
verified

yotsubian commited on Mar 14

Upload results/eval_finetuned.json with huggingface_hub

b196674
verified

yotsubian commited on Mar 14

Upload results/eval_baseline.json with huggingface_hub

547063d
verified

yotsubian commited on Mar 14

Upload README.md with huggingface_hub

3ff6116
verified

yotsubian commited on Mar 14

Upload folder using huggingface_hub

18cc063
verified

yotsubian commited on Mar 14

initial commit

1630fbe
verified

yotsubian commited on Mar 14