On footnote 5: what I meant by this is that we substituted the sentence “These filler periods carry no information; ignore them.” with “These dots are extra space for you to process the problem before answering.”, which is more like our third example prompt.
Separately, instead of appending filler tokens in the user prompt, we ask the model to output a set amount of filler (e.g., 1000 tokens of dots) after its empty reasoning but before its answer, and filter out non-compliant responses. (We can’t do this inside the reasoning, as reasoning is encrypted in the OAI/ANT APIs, so we couldn’t check if the model used the correct amount of dots.) We don’t list these results here, but in the benchmarks in this post, Astra performs roughly the same and complies correctly >99% of the time.
Thanks for reading! I’m curious what your interpretability experiment is specifically.
Nice work, this is pretty interesting! It would be cool if you could think of serial-heavy tasks that are super resistant to speculative reasoning, and then evaluate Astra/Sol/etc. on them. I have some ideas, but it might be a bit tricky to rule out avenues for speculative reasoning, so you might be better positioned to do it.