metadata
tags:
- peft
- qwen3
- entropy
- theorem-proving
- benchmark
Entropy Inequality Prover models and scripts
This repository contains the project checkpoints and inference resources. The new MCE-220 Model A runner packages the corrected beam-search implementation, exact proof verifier, hard-timeout supervisor, frozen inference policy, and a complete local copy of the 220-question benchmark with its audit trail.
MCE-220 release
- Runner and instructions:
mce220_runner/ - Model A adapter:
qwen-06b-sft-4type-old-format-lora-dataset-a-4096-balanced-higher-maxm/checkpoint-9534/ - Bundled benchmark:
mce220_runner/dataset/
The downloader pins this model repository at 7fcfe778e1c36cd67e88ea8aa2ee761a50a39127 and the base model at c1899de289a04d12100db370d81485cdf75e47ca. Existing checkpoint directories are unchanged. Model and benchmark reuse terms have not yet been assigned; this card does not add a license.