entropyinequalityprover
/

Models_Scripts_MCE-220

theorem-proving

Model card Files Files and versions

Models_Scripts_MCE-220

Commit History

Add reproducible MCE-220 Model A runner

c19eb61
verified

warrenwong641 commited on 26 days ago

Upload folder using huggingface_hub

7fcfe77
verified

WONG Shing Yin commited on Apr 27

Upload qwen-06b-sft-4type-old-format-lora-dataset-d-8192-n9-skew-higher-maxm to classroom repo

ac50036
verified

WONG Shing Yin commited on Apr 21

Upload qwen-06b-sft-4type-old-format-lora-dataset-b-4096-n9-skew-higher-maxm to classroom repo

618b675
verified

WONG Shing Yin commited on Apr 21

Upload qwen-06b-sft-4type-old-format-lora-dataset-a-4096-balanced-higher-maxm to classroom repo

cecb5cc
verified

WONG Shing Yin commited on Apr 21

Upload qwen-06b-sft-4type-old-format-lora-dataset-c-8192-balanced-higher-maxm to classroom repo

79e33e8
verified

WONG Shing Yin commited on Apr 21

initial commit

2395c17
verified

WONG Shing Yin commited on Apr 21