anurag051194 commited on
Commit
dba8c25
·
verified ·
1 Parent(s): 76f52bc

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +0 -48
README.md CHANGED
@@ -37,54 +37,6 @@ why it is the recommended release of the pair.
37
 
38
  ### Track A — in-domain formal logic
39
 
40
- The **macro gate** is the mean of five objective scores: entailment labelling, multiple-choice
41
- answering, procedural reasoning, Lean proof critique, and rule induction (scored by its
42
- continuous derivation score). MCQ and procedural are credited as `max(exact_match, loose_match)`.
43
- `n = 200` prompts per objective, greedy decoding, 2048 max new tokens.
44
-
45
- | objective | SmolLM3-3B | TwIL-LM3 | Δ |
46
- |---|---:|---:|---:|
47
- | rule_induction | 0.103 | **0.319** | +0.216 |
48
- | entailment_label | 0.335 | **0.575** | +0.240 |
49
- | lean_critic | 0.630 | **0.660** | +0.030 |
50
- | procedural | 0.105 | 0.110 | +0.005 |
51
- | mcq_answer | 0.505 | 0.445 | −0.060 |
52
- | **macro gate** | **0.3356** | **0.4218** | **+0.0862** |
53
-
54
- Four of five objectives improve. MCQ answering regressed by six points, and that loss is
55
- averaged into the macro above rather than excluded.
56
-
57
- ### Track B — held-out benchmarks
58
-
59
- Nothing in this suite was trained on. Scores are re-derived from saved generations with
60
- delimiter-aware answer extractors rather than read from harness metrics.
61
-
62
- | | SmolLM3-3B | TwIL-LM3 | Δ |
63
- |---|---:|---:|---:|
64
- | core average | 0.790 | **0.812** | **+0.022** |
65
- | suite average (14 datasets) | 0.661 | **0.669** | **+0.008** |
66
-
67
- This model **passes the per-capability floor**: no core or held-out transfer metric drops by
68
- more than the 0.02 tolerance against its base.
69
-
70
- Per-dataset, largest moves in each direction:
71
-
72
- | dataset | base | TwIL-LM3 | Δ |
73
- |---|---:|---:|---:|
74
- | LogicBench BQA | 0.647 | 0.717 | +0.070 |
75
- | DROP | 0.700 | 0.747 | +0.047 |
76
- | CommonsenseQA | 0.707 | 0.737 | +0.030 |
77
- | StrategyQA | 0.633 | 0.650 | +0.017 |
78
- | MMLU-Redux | 0.663 | 0.667 | +0.003 |
79
- | GSM8K | 0.883 | 0.873 | −0.010 |
80
- | MATH-500 | 0.700 | 0.690 | −0.010 |
81
- | IFEval (strict) | 0.677 | 0.643 | −0.033 |
82
-
83
- Every regression is within 0.033, and the gains on logical-reasoning transfer tasks
84
- (LogicBench +0.070, DROP +0.047) are larger than any loss. IFEval is the one place worth
85
- noting — instruction-following degrades slightly, which is a common cost of verifier-driven RL.
86
-
87
- ### Comparison against other open models
88
 
89
  All arms below were run through the same harness, prompts and decoding settings described under
90
  [Evaluation protocol](#evaluation-protocol). Throughput rows are reported because in-domain score
 
37
 
38
  ### Track A — in-domain formal logic
39
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
40
 
41
  All arms below were run through the same harness, prompts and decoding settings described under
42
  [Evaluation protocol](#evaluation-protocol). Throughput rows are reported because in-domain score