entropyinequalityprover/Models_Scripts_MCE-220

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.