Hugging Face's logo

saketh-chervu
/
rvr-bitvec-intermediate-correct

Safetensors
qwen3
Model card Files
xet
 Community
rvr-bitvec-intermediate-correct
File size: 4,100 Bytes
9429ebc
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
{
  "exp": "bitvec",
  "domain": "bitvec",
  "n_bits": 16,
  "variant": "intermediate",
  "arm": "correct",
  "seed": 0,
  "composable": [
    "cnot_lr",
    "revbits",
    "rot3",
    "sbox_pairs",
    "swap_adjacent"
  ],
  "xor_mask": "1011010010110100",
  "sbox": {
    "00": "10",
    "01": "00",
    "10": "11",
    "11": "01"
  },
  "train_comps": [
    "cnot_lr|sbox_pairs",
    "revbits|rot3",
    "revbits|sbox_pairs",
    "rot3|revbits",
    "rot3|sbox_pairs",
    "rot3|swap_adjacent",
    "sbox_pairs|cnot_lr",
    "sbox_pairs|revbits",
    "sbox_pairs|rot3",
    "sbox_pairs|swap_adjacent",
    "swap_adjacent|rot3",
    "swap_adjacent|sbox_pairs"
  ],
  "heldout_comps": [
    "cnot_lr|revbits",
    "revbits|cnot_lr",
    "cnot_lr|rot3",
    "rot3|cnot_lr"
  ],
  "heldout_labels": {
    "cnot_lr|revbits": "never_paired",
    "revbits|cnot_lr": "never_paired",
    "cnot_lr|rot3": "never_paired",
    "rot3|cnot_lr": "never_paired"
  },
  "n_comp_train_per_pairing": 200,
  "total_comp_train": 2400,
  "compositions": {
    "cnot_lr|sbox_pairs": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "revbits|rot3": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "revbits|sbox_pairs": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "rot3|revbits": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "rot3|sbox_pairs": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "rot3|swap_adjacent": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "sbox_pairs|cnot_lr": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "sbox_pairs|revbits": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "sbox_pairs|rot3": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "sbox_pairs|swap_adjacent": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "swap_adjacent|rot3": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "swap_adjacent|sbox_pairs": {
      "role": "train",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "cnot_lr|revbits": {
      "role": "heldout",
      "label": "never_paired",
      "n_eval": 200,
      "distinct_answers": 200,
      "top_answer_share": 0.005
    },
    "revbits|cnot_lr": {
      "role": "heldout",
      "label": "never_paired",
      "n_eval": 200,
      "distinct_answers": 200,
      "top_answer_share": 0.005
    },
    "cnot_lr|rot3": {
      "role": "heldout",
      "label": "never_paired",
      "n_eval": 200,
      "distinct_answers": 200,
      "top_answer_share": 0.005
    },
    "rot3|cnot_lr": {
      "role": "heldout",
      "label": "never_paired",
      "n_eval": 200,
      "distinct_answers": 200,
      "top_answer_share": 0.005
    }
  },
  "train_heldout_chain_overlap": [],
  "heldout_instance_collisions": 0,
  "coverage": {
    "train_inner_atoms": [
      "cnot_lr",
      "revbits",
      "rot3",
      "sbox_pairs",
      "swap_adjacent"
    ],
    "train_outer_atoms": [
      "cnot_lr",
      "revbits",
      "rot3",
      "sbox_pairs",
      "swap_adjacent"
    ],
    "heldout_inner_atoms": [
      "cnot_lr",
      "revbits",
      "rot3"
    ],
    "heldout_outer_atoms": [
      "cnot_lr",
      "revbits",
      "rot3"
    ],
    "heldout_inner_count": 3,
    "heldout_outer_count": 3,
    "per_slot_coverage": {
      "cnot_lr": {
        "train_as_inner": 1,
        "train_as_outer": 1
      },
      "revbits": {
        "train_as_inner": 2,
        "train_as_outer": 2
      },
      "rot3": {
        "train_as_inner": 3,
        "train_as_outer": 3
      },
      "sbox_pairs": {
        "train_as_inner": 4,
        "train_as_outer": 4
      },
      "swap_adjacent": {
        "train_as_inner": 2,
        "train_as_outer": 2
      }
    },
    "train_covers_both_slots": true,
    "pairing_collisions": []
  },
  "collisions_total": 0
}