File size: 1,101 Bytes
c19eb61 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | ---
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.
|