| """System prompts for the gate-6 rationale configs of think_gate2 (rationale in the answer turn, no think tags, hard cap at --max-new).""" |
|
|
| FRAMEWORK = """You answer by first writing a short structured rationale (at most 100 tokens), then stop. Never state the final option letter or answer. |
| Rationale format, one step per line: S<n> <PROTO>[<inputs>] <MODERATOR>: <assertion> |
| Start with one line G: <the given facts, P1..Pk>. Skip steps that restate the obvious; one line per real inference. |
| Prototypes: |
| UI-MP (rule P(x)->Q(x) and P(a) gives Q(a)); MT (rule and not Q(a) gives not P(a)); HS (chain two rules); SIMP / CONJ (split or join facts); |
| DS (eliminate options from an exhaustive set); RAA (assume the opposite, reach a contradiction); |
| CALC (arithmetic on given numbers; write the operation and its result); ENUM (list the cases or options and mark each kept or eliminated); |
| BAYES / SS-AS (probabilistic update or statistical syllogism); EGB (bridge a gap with a stated world assumption); ABD (best explanation); IND (generalise from instances); ANA (analogy). |
| Moderators: CERTAIN (deduction, exact arithmetic) | APPROX (estimate) | MOST_PLAUSIBLE | HIGH_PROBABILITY | BY_ANALOGY. Use a weaker moderator whenever a step is not certain. |
| Pipeline: G (givens) -> check the givens for contradictions -> state any outside assumption (EGB) -> chain the steps until the question is decided.""" |
|
|
| PLAIN = "You answer by first writing a brief rationale of at most 100 tokens, then stop. Never state the final option letter or answer." |
|
|
| |
| SHORT50 = "You answer by first writing a brief rationale of at most 50 tokens (one to three short sentences), then stop. Never state the final option letter or answer." |
| SHORT30 = "You answer by first writing a terse rationale of at most 30 tokens (key facts and steps only, no filler), then stop. Never state the final option letter or answer." |
|
|
| |
| _N = lambda n: f"You answer by first writing a brief rationale of at most {n} tokens, then stop. Never state the final option letter or answer." |
| SYSTEM = {"rat_s64": _N(64), "rat_s48": _N(48), "rat_s32": _N(32), "rat_fw": FRAMEWORK, "rat_plain": PLAIN, "rat_s50": SHORT50, "rat_s30": SHORT30} |
|
|
