CamiloS1111
/

ragsolver

theorem-proving

Model card Files Files and versions

ragsolver / scripts /run_eval_v1.sh

Commit History

Oct 22 12 days ago

08:33
Upload folder using huggingface_hub

CamiloS1111

Verified signature
81f30c1