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
Like
0
Follow
EntropyInequalityProver
2
PEFT
Safetensors
qwen3
entropy
theorem-proving
benchmark
Model card
Files
Files and versions
xet
Community
Deploy
Copy to bucket
new
Use this model
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
main
Models_Scripts_MCE-220
/
README.md
Commit History
Add reproducible MCE-220 Model A runner
c19eb61
verified
warrenwong641
commited on
Sep 1
warrenwong641 commited on 
