| 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](./mce220_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/`](./mce220_runner/) | |
| - Model A adapter: [`qwen-06b-sft-4type-old-format-lora-dataset-a-4096-balanced-higher-maxm/checkpoint-9534/`](./qwen-06b-sft-4type-old-format-lora-dataset-a-4096-balanced-higher-maxm/checkpoint-9534/) | |
| - Bundled benchmark: [`mce220_runner/dataset/`](./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. | |