Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

entropyinequalityprover
/
Models_Scripts_MCE-220

PEFT
Safetensors
qwen3
entropy
theorem-proving
benchmark
Model card Files Files and versions
xet
Community

Instructions to use entropyinequalityprover/Models_Scripts_MCE-220 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.

  • Libraries
  • PEFT

    How to use entropyinequalityprover/Models_Scripts_MCE-220 with PEFT:

    Task type is invalid.
  • Notebooks
  • Google Colab
  • Kaggle
Models_Scripts_MCE-220
11.1 GB
Ctrl+K
Ctrl+K
  • 2 contributors
History: 7 commits
warrenwong641's picture
warrenwong641
Add reproducible MCE-220 Model A runner
c19eb61 verified 12 days ago
  • mce220_runner
    Add reproducible MCE-220 Model A runner 12 days ago
  • qwen-06b-sft-4type-old-format-lora-dataset-a-4096-balanced-higher-maxm
    Upload qwen-06b-sft-4type-old-format-lora-dataset-a-4096-balanced-higher-maxm to classroom repo 5 months ago
  • qwen-06b-sft-4type-old-format-lora-dataset-b-4096-n9-skew-higher-maxm
    Upload qwen-06b-sft-4type-old-format-lora-dataset-b-4096-n9-skew-higher-maxm to classroom repo 5 months ago
  • qwen-06b-sft-4type-old-format-lora-dataset-c-8192-balanced-higher-maxm
    Upload qwen-06b-sft-4type-old-format-lora-dataset-c-8192-balanced-higher-maxm to classroom repo 5 months ago
  • qwen-06b-sft-4type-old-format-lora-dataset-d-8192-n9-skew-higher-maxm
    Upload qwen-06b-sft-4type-old-format-lora-dataset-d-8192-n9-skew-higher-maxm to classroom repo 5 months ago
  • .gitattributes
    7.51 kB
    Upload qwen-06b-sft-4type-old-format-lora-dataset-d-8192-n9-skew-higher-maxm to classroom repo 5 months ago
  • README.md
    1.1 kB
    Add reproducible MCE-220 Model A runner 12 days ago
  • qwen3_1.7b_4type_lora_old_format_dataset_a_4096_balanced_higher_maxm.yaml
    1.61 kB
    Upload folder using huggingface_hub 5 months ago
  • qwen3_1.7b_training_paths.txt
    620 Bytes
    Upload folder using huggingface_hub 5 months ago
  • run_qwen3_1.7b_lora_dataset_a.sh
    1.83 kB
    Upload folder using huggingface_hub 5 months ago