QuantForge: Discovering Residual Decompositions for MXFP4 Post-Training Quantization
Organizations: Peking University
Abstract
Four-bit post-training quantization can reduce the memory demands of large language models, but preserving accuracy under strict MXFP4 W4A4 requires coordinating several design choices. Coordinate transforms change block-encoding errors, which in turn affect the residuals propagated through the network. The useful algorithmic decomposition is therefore not fully known before search. LLM-driven program evolution offers a way to explore these choices, but performance scores alone do not explain which design should change next. We introduce QuantForge, a PTQ discovery system that records competing explanations, selects controls that distinguish them, and checks that successor code implements the resulting conclusions. This residual compilation guides program revisions while retaining useful programs even when their original explanations are rejected. Remeasuring the revised program reveals the next error to address. This process discovers HiRes, a fixed MXFP4 quantizer that shapes coordinates, refines legal code assignments, and recovers errors along attention and MLP paths. Each stage acts on residuals measured after the preceding stage has executed. Across seven tasks, HiRes achieves the lowest seven-model Robust Fit (0.09300) and the lowest quantized Fit-7 at 32B. In matched-budget comparisons of LLM-driven program evolution, each with 240 evaluator calls, QuantForge reaches a held-out transfer target in six of eight runs, compared with three each for textual memory and reflection memory, and one for score-only evolution, despite evaluating fewer new programs. These results show that QuantForge improves the discovery of transferable PTQ algorithms by turning controlled evidence into subsequent program changes.
Figures & tables
| Method | Llama 3B | Qwen 4B | Mistral 7B | Qwen 8B | Llama 8B | OLMo-2 13B | Qwen 32B | Mean | Robust |
|---|---|---|---|---|---|---|---|---|---|
| RTN | .2594 | .2283 | .1512 | .1666 | .2522 | .1360 | .0919 | .18365 | .22151 |
| GPTQ | .1973 | .1252 | .1071 | .1411 | .2283 | .1360 | .0747 | .14422 | .18624 |
| MR-GPTQ | .1387 | .0986 | .0541 | .0587 | .1394 | .0846 | .0524 | .08951 | .11447 |
| BRQ | .1260 | .0767 | .0573 | .0685 | .1386 | .0811 | .0425 | .08440 | .11152 |
| WUSH | .1224 | .0479 | .0503 | .0500 | .1248 | .0823 | .0365 | .07345 | .09910 |
| TORQ | .2964 | .1929 | .1217 | .1970 | .2654 | .1067 | .0929 | .18185 | .23911 |
| Realized program | Qwen3-8B | Llama-3-8B |
|---|---|---|
| Strict RTN | .20249 | .31653 |
| + Geometric shaping | .07828 | .16741 |
| + Discrete realization | .06502 | .15530 |
| + Structural recovery | .03259 | .14830 |
| Remove local interaction | .04046 | .15529 |
| Remove diagonal balance ( ) | .04326 | .15921 |
Appendix figures & tables44 assets
Supplementary material from the paper’s appendix.
Appendix
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 7.818 | 11.216 | 41.47 | 70.50 | 72.79 | 77.58 | 61.17 | .0000 |
| RTN | 10.266 | 15.189 | 35.79 | 61.83 | 65.94 | 72.42 | 57.30 | .2594 |
| GPTQ | 9.768 | 14.177 | 37.12 | 62.71 | 67.04 | 74.10 | 57.46 | .1973 |
| MR-GPTQ | 9.011 | 13.333 | 36.45 | 67.30 | 68.67 | 76.61 | 58.48 | .1387 |
| BRQ | 8.969 | 13.182 | 39.46 | 67.63 | 68.39 | 75.90 | 58.56 | .1260 |
| WUSH | 8.905 | 13.056 | 37.46 | 65.87 | 69.14 | 76.28 | 59.19 | .1224 |
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 13.661 | 19.824 | 47.16 | 77.15 | 66.73 | 74.86 | 57.22 | .0000 |
| RTN | 18.182 | 24.181 | 42.47 | 69.65 | 62.12 | 71.55 | 56.12 | .2283 |
| GPTQ | 16.013 | 22.538 | 43.48 | 72.26 | 62.56 | 73.23 | 56.51 | .1252 |
| MR-GPTQ | 15.528 | 21.981 | 46.82 | 71.89 | 62.93 | 73.12 | 55.96 | .0986 |
| BRQ | 15.104 | 21.455 | 47.16 | 72.43 | 63.30 | 73.94 | 55.96 | .0767 |
| WUSH | 14.269 | 21.132 | 47.83 | 73.36 | 63.37 | 72.96 | 57.93 | .0479 |
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 5.318 | 8.439 | 45.48 | 73.53 | 79.60 | 81.28 | 70.40 | .0000 |
| RTN | 6.392 | 9.898 | 41.47 | 68.94 | 74.94 | 78.78 | 64.09 | .1512 |
| GPTQ | 6.090 | 9.334 | 44.48 | 69.65 | 75.40 | 79.43 | 64.64 | .1071 |
| MR-GPTQ | 5.731 | 8.919 | 45.48 | 73.11 | 77.17 | 80.58 | 67.88 | .0541 |
| BRQ | 5.734 | 8.923 | 44.48 | 71.76 | 77.28 | 80.20 | 68.19 | .0573 |
| WUSH | 5.689 | 8.834 | 44.82 | 72.35 | 77.20 | 79.87 | 68.82 | .0503 |
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 9.727 | 15.665 | 54.85 | 80.43 | 73.46 | 77.69 | 58.01 | .0000 |
| RTN | 11.834 | 18.829 | 46.82 | 72.35 | 67.85 | 74.48 | 56.12 | .1666 |
| GPTQ | 11.554 | 18.290 | 47.16 | 75.04 | 68.47 | 74.86 | 58.41 | .1411 |
| MR-GPTQ | 10.522 | 16.831 | 53.85 | 79.63 | 70.22 | 75.57 | 58.41 | .0587 |
| BRQ | 10.701 | 16.906 | 54.85 | 79.50 | 70.53 | 76.39 | 57.38 | .0685 |
| WUSH | 10.419 | 16.594 | 53.85 | 80.81 | 71.25 | 76.22 | 57.46 | .0500 |
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 6.138 | 9.597 | 53.18 | 76.81 | 78.50 | 80.52 | 62.83 | .0000 |
| RTN | 8.236 | 12.650 | 41.81 | 69.91 | 72.37 | 76.55 | 59.91 | .2522 |
| GPTQ | 7.962 | 12.148 | 40.47 | 66.29 | 73.25 | 75.63 | 59.75 | .2283 |
| MR-GPTQ | 7.249 | 11.324 | 45.15 | 71.21 | 75.07 | 77.80 | 61.40 | .1394 |
| BRQ | 7.260 | 11.245 | 45.15 | 72.52 | 75.69 | 78.94 | 59.98 | .1386 |
| WUSH | 7.133 | 11.117 | 44.82 | 73.32 | 75.38 | 78.35 | 61.40 | .1248 |
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 5.002954 | 10.887155 | 52.84 | 80.01 | 82.95 | 81.77 | 69.85 | .000000 |
| RTN | 6.042593 | 11.842045 | 48.16 | 79.00 | 81.02 | 80.14 | 69.22 | .135976 |
| GPTQ | 6.059833 | 11.787111 | 50.50 | 78.41 | 80.68 | 80.09 | 68.51 | .136012 |
| MR-GPTQ | 5.657160 | 11.367751 | 49.50 | 79.59 | 81.25 | 80.36 | 70.72 | .084586 |
| BRQ | 5.672447 | 11.388761 | 52.84 | 81.19 | 81.12 | 81.01 | 69.69 | .081112 |
| WUSH | 5.699070 | 11.375856 | 54.52 | 80.85 | 81.49 | 80.25 | 69.85 | .082295 |
| Method | WT2 | C4 | ARC-C | ARC-E | HS | PIQA | Wino | Fit-7 |
|---|---|---|---|---|---|---|---|---|
| BF16 | 7.610919 | 12.689191 | 0.595318 | 0.826178 | 0.815674 | 0.819913 | 0.614049 | 0.000000 |
| HiRes | 7.926348 | 13.044736 | 0.575251 | 0.832071 | 0.810396 | 0.815016 | 0.623520 | 0.027369 |
| WUSH | 7.950299 | 13.118806 | 0.565217 | 0.816919 | 0.804123 | 0.804135 | 0.624309 | 0.036489 |
| BRQ | 8.138484 | 13.301107 | 0.605351 | 0.819865 | 0.801932 | 0.807399 | 0.632991 | 0.042486 |
| MR-GPTQ | 8.195791 | 13.484847 | 0.581940 | 0.830808 | 0.799243 | 0.786181 | 0.627466 | 0.052413 |
| FOCUS | 8.141298 | 13.909520 | 0.581940 | 0.815236 | 0.789484 | 0.792709 | 0.614049 | 0.067147 |
| Model | WT2 | C4 | ARC-C | ARC-E | Hella | PIQA | Wino |
|---|---|---|---|---|---|---|---|
| Qwen | 9.726731 | 15.665062 | 0.548495 | 0.804293 | 0.734615 | 0.776931 | 0.580110 |
| Llama | 6.138148 | 9.597075 | 0.531773 | 0.768098 | 0.785003 | 0.805223 | 0.628256 |
| Model | Method | Seed | WT2 | C4 | ARC-C | ARC-E |
|---|---|---|---|---|---|---|
| Qwen | HiRes | 0 | 10.055217 | 16.298661 | 0.548495 | 0.776094 |
| Qwen | HiRes | 3 | 10.159826 | 16.315420 | 0.535117 | 0.796296 |
| Qwen | HiRes | 5 | 10.149540 | 16.306193 | 0.548495 | 0.774411 |
| Qwen | WUSH | 0 | 10.418540 | 16.594240 | 0.538462 | 0.808081 |
| Qwen | WUSH | 3 | 10.378339 | 16.552246 | 0.541806 | 0.789562 |
| Qwen | WUSH | 5 | 10.446173 | 16.615181 | 0.541806 | 0.802609 |
| Model | Method | Fit-7 | MeanDamage | Acc5 (%) |
|---|---|---|---|---|
| Llama-3.2-3B | WUSH | 0.122400 | 0.080676 | 61.5880 |
| HiRes | 0.117400 | 0.071644 | 62.2620 | |
| Qwen3-4B | WUSH | 0.047900 | 0.029819 | 63.0900 |
| HiRes | 0.052400 | 0.025780 | 63.9200 | |
| Mistral-7B | WUSH | 0.050300 | 0.031010 | 68.6120 |
| HiRes | 0.045200 | 0.025419 | 68.9400 |
| Model | Program | WT2 | C4 | ARC-C | Mean dmg. | Worst dmg. | Fit-3 |
|---|---|---|---|---|---|---|---|
| Qwen3-8B | Strict RTN | 11.8342 | 18.8285 | 46.82 | .18832 | .21667 | .20249 |
| + Geometric shaping | 10.5374 | 16.7494 | 51.17 | .07321 | .08335 | .07828 | |
| + Discrete realization | 10.1858 | 16.4524 | 50.84 | .05688 | .07317 | .06502 | |
| + Structural recovery | 10.0552 | 16.2987 | 54.85 | .02474 | .04045 | .03259 | |
| Llama-3-8B | Strict RTN | 8.2362 | 12.6497 | 41.81 | .29124 | .34181 | .31653 |
| + Geometric shaping | 7.1963 | 11.2766 | 46.15 | .15982 | .17500 | .16741 |
| Model | Configuration | WT2 | C4 | ARC-C | Fit-3 |
|---|---|---|---|---|---|
| Qwen3-8B | Full HiRes | 10.0552 | 16.2987 | 54.85 | .03259 |
| Remove local interaction | 10.1215 | 16.3613 | 53.51 | .04046 | |
| 10.1480 | 16.3925 | 53.18 | .04326 | ||
| 10.2436 | 16.5013 | 52.17 | .05258 | ||
| Llama-3-8B | Full HiRes | 7.1110 | 11.0262 | 47.49 | .14830 |
| Remove local interaction | 7.1393 | 11.0706 | 46.49 | .15529 |
| Model | Config. | Seed | WT2 | C4 | ARC-C | ARC-E |
|---|---|---|---|---|---|---|
| Qwen | Full | 0 | 10.055217 | 16.298661 | 0.548495 | 0.776094 |
| Qwen | 0 | 10.121483 | 16.361274 | 0.535117 | 0.773569 | |
| Qwen | 0 | 10.148022 | 16.392512 | 0.531773 | 0.771886 | |
| Qwen | Reference | 0 | 10.243630 | 16.501342 | 0.521739 | 0.766414 |
| Qwen | Full | 3 | 10.159826 | 16.315420 | 0.535117 | 0.796296 |
| Qwen | 3 | 10.224922 | 16.376356 | 0.521739 | 0.793771 |
| Model | Config. | Seed | HellaSwag | PIQA | WinoGrande | Fit-7 |
|---|---|---|---|---|---|---|
| Qwen | Full | 0 | 0.709420 | 0.763330 | 0.574586 | 0.032409 |
| Qwen | 0 | 0.707628 | 0.760609 | 0.573796 | 0.037668 | |
| Qwen | 0 | 0.706831 | 0.758977 | 0.573007 | 0.039912 | |
| Qwen | Reference | 0 | 0.704441 | 0.755713 | 0.569061 | 0.047395 |
| Qwen | Full | 3 | 0.711512 | 0.779652 | 0.581689 | 0.032663 |
| Qwen | 3 | 0.709819 | 0.776931 | 0.580900 | 0.039244 |
| Model | Method | Fit-7 | WT2 | C4 | Acc5 (%) |
|---|---|---|---|---|---|
| Qwen | WUSH | 10.414351 | 16.587222 | 67.8509 | |
| WUSH+R | 10.239410 | 16.428239 | 67.7899 | ||
| HiRes | 10.121528 | 16.306758 | 67.7431 | ||
| Llama | WUSH | 7.133803 | 11.095372 | 67.2055 | |
| WUSH+R | 7.121359 | 11.044775 | 67.4389 | ||
| HiRes | 7.109182 | 11.002788 | 67.6096 |
| Model | Difference | Seed 0 | Seed 3 | Seed 5 | Mean [95% CI] |
|---|---|---|---|---|---|
| Qwen | WUSH+R WUSH | ||||
| HiRes WUSH+R | |||||
| HiRes WUSH | |||||
| Llama | WUSH+R WUSH | ||||
| HiRes WUSH+R | |||||
| HiRes WUSH |
| Model | Configuration | WT2 | C4 | ARC-C | Fit-3 |
|---|---|---|---|---|---|
| Qwen3-8B | Strict RTN realization | 10.2749 | 16.4117 | 49.83 | .07831 |
| Sequential reconstruction | 10.1817 | 16.3898 | 53.18 | .04397 | |
| Full discrete realization | 10.0552 | 16.2987 | 54.85 | .03259 | |
| Llama-3-8B | Strict RTN realization | 7.2654 | 11.3159 | 43.48 | .18269 |
| Sequential reconstruction | 7.1464 | 11.0486 | 47.16 | .15359 | |
| Full discrete realization | 7.1110 | 11.0262 | 47.49 | .14830 |
| Model | Method | Seed | WT2 | C4 | ARC-C | ARC-E |
|---|---|---|---|---|---|---|
| Qwen | Nearest | 0 | 10.181742 | 16.389816 | 0.531773 | 0.774411 |
| Qwen | Sensitivity | 0 | 10.234345 | 16.416364 | 0.541806 | 0.772727 |
| Qwen | Full | 0 | 10.055217 | 16.298661 | 0.548495 | 0.776094 |
| Qwen | Nearest | 3 | 10.234382 | 16.368622 | 0.525084 | 0.795034 |
| Qwen | Sensitivity | 3 | 10.308024 | 16.411895 | 0.528428 | 0.793771 |
| Qwen | Full | 3 | 10.159826 | 16.315420 | 0.535117 | 0.796296 |
| Model | Method | Seed | HellaSwag | PIQA | WinoGrande | Fit-7 |
|---|---|---|---|---|---|---|
| Qwen | Nearest | 0 | 0.708425 | 0.758433 | 0.572218 | 0.040086 |
| Qwen | Sensitivity | 0 | 0.708524 | 0.759521 | 0.571429 | 0.042128 |
| Qwen | Full | 0 | 0.709420 | 0.763330 | 0.574586 | 0.032409 |
| Qwen | Nearest | 3 | 0.710715 | 0.775299 | 0.580110 | 0.039377 |
| Qwen | Sensitivity | 3 | 0.710715 | 0.776387 | 0.579321 | 0.043574 |
| Qwen | Full | 3 | 0.711512 | 0.779652 | 0.581689 | 0.032663 |
| Model | Rule | Sensitivity-weighted local error | Mismatch-weighted local error | Fit-7 |
|---|---|---|---|---|
| Qwen | Nearest | 1.000 | 1.000 | 0.040086 |
| Qwen | Sensitivity | 0.912 | 1.043 | 0.042128 |
| Qwen | Full | 0.947 | 0.918 | 0.032409 |
| Llama | Nearest | 1.000 | 1.000 | 0.123719 |
| Llama | Sensitivity | 0.921 | 1.036 | 0.126800 |
| Llama | Full | 0.953 | 0.926 | 0.118743 |
| Model | Edited codes per Block32 | Edited A4 elements | Rule ceiling |
|---|---|---|---|
| Qwen3-8B | 0.61 | 1.91% | 3.125% |
| Llama-3-8B | 0.68 | 2.12% | 3.125% |
| Model | Without refinement | With refinement | Change |
|---|---|---|---|
| Qwen3-8B | 58.2 min | 61.6 min | +3.4 min (+5.8%) |
| Llama-3-8B | 54.7 min | 57.8 min | +3.1 min (+5.7%) |
| Model | Configuration | WT2 | C4 | ARC-C | Fit-3 |
|---|---|---|---|---|---|
| Qwen3-8B | Both paths disabled | 10.1858 | 16.4524 | 50.84 | .06502 |
| Attention only | 10.1588 | 16.4411 | 52.17 | .04856 | |
| MLP only | 10.0965 | 16.3397 | 53.51 | .03911 | |
| Both paths | 10.0552 | 16.2987 | 54.85 | .03259 | |
| Stale MLP statistics | 10.1090 | 16.3722 | 53.18 | .04173 | |
| Llama-3-8B | Both paths disabled | 7.1417 | 11.1163 | 46.82 | .15530 |
| Model | Config. | Seed | WT2 | C4 | ARC-C | ARC-E |
|---|---|---|---|---|---|---|
| Qwen | None | 0 | 10.185825 | 16.452397 | 0.508361 | 0.783670 |
| Qwen | Attention | 0 | 10.158764 | 16.441078 | 0.521739 | 0.783670 |
| Qwen | MLP | 0 | 10.096486 | 16.339713 | 0.535117 | 0.774411 |
| Qwen | Both | 0 | 10.055217 | 16.298661 | 0.548495 | 0.776094 |
| Qwen | None | 3 | 10.264299 | 16.437247 | 0.505017 | 0.802189 |
| Qwen | Attention | 3 | 10.231741 | 16.413413 | 0.515050 | 0.801347 |
| Model | Config. | Seed | HellaSwag | PIQA | WinoGrande | Fit-7 |
|---|---|---|---|---|---|---|
| Qwen | None | 0 | 0.707927 | 0.760065 | 0.576953 | 0.055139 |
| Qwen | Attention | 0 | 0.709221 | 0.764962 | 0.581689 | 0.040171 |
| Qwen | MLP | 0 | 0.708823 | 0.761153 | 0.577743 | 0.035971 |
| Qwen | Both | 0 | 0.709420 | 0.763330 | 0.574586 | 0.032409 |
| Qwen | None | 3 | 0.710317 | 0.776931 | 0.583268 | 0.054925 |
| Qwen | Attention | 3 | 0.711412 | 0.780740 | 0.586425 | 0.043354 |
| Model | Seed | Statistics | WT2 | C4 | ARC-C | Fit-3 | Fit-3 |
|---|---|---|---|---|---|---|---|
| Qwen | 0 | Fresh | 10.055217 | 16.298661 | 0.548495 | 0.032593 | -0.009132 |
| Qwen | 0 | Stale | 10.108964 | 16.372215 | 0.531773 | 0.041725 | – |
| Qwen | 3 | Fresh | 10.159826 | 16.315420 | 0.535117 | 0.040669 | -0.006444 |
| Qwen | 3 | Stale | 10.211284 | 16.398624 | 0.528428 | 0.047113 | – |
| Qwen | 5 | Fresh | 10.149540 | 16.306193 | 0.548495 | 0.035800 | -0.008489 |
| Qwen | 5 | Stale | 10.203715 | 16.372940 | 0.535117 | 0.044289 | – |
| Model | Statistics | WT2 | C4 | ARC-C | Fit-3 |
|---|---|---|---|---|---|
| Qwen | pre-encoding | 10.142501 | 16.451416 | 0.521739 | 0.048720 |
| Qwen | post-encoding | 10.055217 | 16.298661 | 0.548495 | 0.032593 |
| Llama | pre-encoding | 7.148913 | 11.122943 | 0.464883 | 0.157243 |
| Llama | post-encoding | 7.110953 | 11.026218 | 0.474916 | 0.148296 |
| Model | Seed | Pre WT2 | Pre C4 | Pre ARC-C | Pre Fit-3 | Post Fit-3 | Gain |
|---|---|---|---|---|---|---|---|
| Qwen | 0 | 10.142501 | 16.451416 | 0.521739 | 0.048720 | 0.032593 | 0.016127 |
| Qwen | 3 | 10.220455 | 16.420544 | 0.515050 | 0.057148 | 0.040669 | 0.016479 |
| Qwen | 5 | 10.243144 | 16.468566 | 0.521739 | 0.052074 | 0.035800 | 0.016274 |
| Llama | 0 | 7.148913 | 11.122943 | 0.464883 | 0.157243 | 0.148296 | 0.008947 |
| Llama | 3 | 7.157778 | 11.101946 | 0.454849 | 0.160986 | 0.151372 | 0.009614 |
| Llama | 5 | 7.134994 | 11.073777 | 0.488294 | 0.147540 | 0.139228 | 0.008312 |
| Model | Input blocks | BF16 (GiB) | Auxiliary (MiB) | HiRes total (GiB) | Increase |
|---|---|---|---|---|---|
| Qwen3-8B | 41,472 | 15.256 | 407.534 | 15.654 | 2.61% |
| Llama-3-8B | 38,912 | 14.958 | 382.377 | 15.331 | 2.50% |
| Qwen3-32B | 118,784 | 61.024 | 1167.255 | 62.164 | 1.87% |
| Model | BF16 forward (ms) | HiRes forward (ms) | Increase | HiRes quantization (min) |
|---|---|---|---|---|
| Qwen3-8B | 1286 | 1343 | 4.43% | 61.6 |
| Llama-3-8B | 1224 | 1279 | 4.49% | 57.8 |
| Qwen3-32B | 5438 | 5654 | 3.97% | 286.9 |
| Arm | Median PPL | Gate | Generation index | New programs |
|---|---|---|---|---|
| Score-only | 10.03 | 1/8 | 226 | 240 |
| TextMem | 9.20 | 3/8 | 214 | 240 |
| QuantForge | 7.80 | 6/8 | 177 | 141 |
| Arm | Seed | Held-out PPL | Generation index | Confirmation call |
| QuantForge | 4 | 7.38 | 138 | 140 |
| QuantForge | 6 | 7.47 | 152 | 160 |
| QuantForge | 8 | 7.59 | 175 | 180 |
| QuantForge | 1 | 7.74 | 179 | 180 |
| QuantForge | 7 | 7.86 | 208 | 220 |
| QuantForge | 3 | 7.98 | 233 | 240 |
| Seed | Score-only | TextMem | ReflectMem | QuantForge | QuantForge ReflectMem |
| 1 | 9.31 | 9.06 | 8.08 | 7.74 | |
| 2 | 12.83 | 11.85 | 9.73 | 9.31 | |
| 3 | 10.12 | 9.34 | 8.25 | 7.98 | |
| 4 | 7.92 | 7.51 | 7.53 | 7.38 | |
| 5 | 10.55 | 10.62 | 8.86 | 8.44 | |
| 6 | 9.60 | 7.31 | 7.39 | 7.47 |
| Arm | 40 | 80 | 120 | 160 | 200 | 240 |
|---|---|---|---|---|---|---|
| Score-only | 14.62 | 12.08 | 11.24 | 10.71 | 10.35 | 10.03 |
| TextMem | 14.55 | 11.72 | 10.58 | 9.94 | 9.51 | 9.20 |
| ReflectMem | 14.80 | 12.00 | 10.38 | 9.19 | 8.44 | 8.09 |
| QuantForge | 15.28 | 12.55 | 10.19 | 8.78 | 8.05 | 7.80 |
| Regime | Score-only | TextMem | QuantForge |
|---|---|---|---|
| Geometric shaping | 6/8 | 7/8 | 8/8 |
| Discrete realization | 1/8 | 3/8 | 6/8 |
| Structural recovery | 0/8 | 1/8 | 4/8 |
| Full ordered hierarchy | 0/8 | 0/8 | 4/8 |
| Arm | New candidates | Controls | Probes | Total |
|---|---|---|---|---|
| QuantForge | 141 | 69 | 30 | 240 |
| Without compilation | 171 | 69 | 0 | 240 |
| Arm / seed | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
|---|---|---|---|---|---|---|---|---|
| QuantForge | 7.74 | 9.31 | 7.98 | 7.38 | 8.44 | 7.47 | 7.86 | 7.59 |
| Without compilation | 8.16 | 9.68 | 8.33 | 7.52 | 8.71 | 7.71 | 7.96 | 7.90 |
| Paired difference | -0.42 | -0.37 | -0.35 | -0.14 | -0.27 | -0.24 | -0.10 | -0.31 |
| Metric | QuantForge | Without compilation |
|---|---|---|
| Median held-out PPL | 7.80 | 8.06 |
| Gate ( ) | 6/8 | 4/8 |
| Median candidate generation index | 177 | 216 |
| Median confirmation call | 180 | 220 |
| Invalid-successor fraction | 0.13 | 0.38 |
| Verified residual closures per run | 10.4 2.6 | 3.9 1.5 |
| Metric | Free reflection | Verdict-constrained |
|---|---|---|
| Improving successors | 15/48 = 0.31 | 28/48 = 0.58 |
| Mean visible PPL change | -0.04 | -0.21 |
| Probe-confirmed implementation | 0.35 | 0.92 |
| Repeated refuted mechanism | 0.29 | 0.08 |
| Verdict | Count | Free reflection | Verdict-constrained |
|---|---|---|---|
| Explanation supported | 26 | 11/26 = 0.42 | 18/26 = 0.69 |
| Explanation refuted | 22 | 4/22 = 0.18 | 10/22 = 0.45 |
| Condition / seed | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| Free reflection | 2 | 1 | 2 | 3 | 1 | 2 | 2 | 2 |
| Verdict-constrained | 4 | 3 | 4 | 4 | 3 | 3 | 4 | 3 |
| Paired difference | +2 | +2 | +2 | +1 | +2 | +1 | +2 | +1 |
| Policy | Control calls | New candidates | Explicit verdicts | Calls per explicit verdict | Effective verdicts | Median PPL | Gate |
|---|---|---|---|---|---|---|---|
| Minimal discriminating | 69 | 141 | 11.3 | 6.1 | 10.4 | 7.80 | 6/8 |
| Random legal | 69 | 141 | 4.6 | 15.0 | 4.2 | 8.31 | 3/8 |
| All pre-specified | 118 | 92 | 12.1 | 9.8 | 11.1 | 8.02 | 4/8 |
| Policy / seed | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
|---|---|---|---|---|---|---|---|---|
| Minimal discriminating | 7.74 | 9.31 | 7.98 | 7.38 | 8.44 | 7.47 | 7.86 | 7.59 |
| Random legal | 8.29 | 9.74 | 8.60 | 7.61 | 8.88 | 7.83 | 8.33 | 7.94 |
| All pre-specified | 7.88 | 9.52 | 8.19 | 7.55 | 8.63 | 7.72 | 8.06 | 7.98 |
| Checker | False accepts | False rejects | Extra calls | New candidates | Median PPL | Gate |
|---|---|---|---|---|---|---|
| Source diff | 0.45 (9/20) | 0.00 (0/20) | 0 | 171 | 7.96 | 4/8 |
| Execution probe | 0.05 (1/20) | 0.05 (1/20) | 30 | 141 | 7.80 | 6/8 |
| Layer-output comparison | 0.00 (0/20) | 0.20 (4/20) | 74 | 97 | 7.91 | 5/8 |