Rohin Shah comments on Answering questions honestly instead of predicting human answers: lots of problems and some solutions

[Rohin Shah]

Yep, that’s what I mean.

Then I’m confused what you meant by

I’m not sure what you mean by this part—$f_1$ and $f_2$ are just different heads, not entirely different models, so I’m not sure what you mean by “the parameters in $f_1$.”

Seems like if the different heads do not share weights then “the parameters in $f_1$” is perfectly well-defined?

Note that conditioning on the part-which-shares-weights is definitely not what the prior is doing

Yeah, sorry, by “conditioning” there I meant “assuming that the algorithm correctly chose the right world model in the end”, I wasn’t trying to describe a particular step in the algorithm. But in any case I don’t think we need to talk about that

They are certainly different functions over the space of all possible deduced statements—but once you put a correct world model in them, they should produce equivalent $X\times Q\to A$ maps.

Okay, so iiuc you’re relying on an assumption (fact? desire?) that the world model will never produce deduced statements that distinguish between $f^{+}$ and $f^{-}$ ? My understanding of $f^{+}$ and $f^{-}$ comes from here:

Specifically, $f^{+}$ is the “honest embedding” which directly converts between logical statements and their equivalent natural language, thus answering questions by embedding $q$ as a logical statement and unembedding its answer in $\text{deduced\_stmts}$. Conversely, $f^{-}$ is the “mimicry embedding” which just searches for deductions about what a human would say in response to $q$ and outputs that—thus, $f^{-}$ just quotes $q$, embedding it as just a string of characters for a human to respond to, rather than actually having to understand it in any meaningful way.

If $f^{+}$ and $f^{-}$ produce equivalent $X\times Q\to A$ maps, doesn’t that mean that we’ve just gotten something that can only respond as well as a human? Wouldn’t that be a significant limitation? (E.g. given that I don’t know German, if my question to the model is “what does <german phrase> mean”, does the model have to respond “I don’t know”?)

In addition, since the world model will never produce deduced statements that distinguish between $f^{+}$ and $f^{-}$, it seems like the world model could never produce decision-relevant deduced statements that the human wouldn’t have realized. This seems both (a) hard to enforce and (b) a huge capability hit.

[evhub]

Seems like if the different heads do not share weights then “the parameters in $f_1$” is perfectly well-defined?

It seemed to me like you were using it in a way such that $f_1$ shared no weights with $f_2$, which I think was because you were confused by the quantification, like you said previously. I think we’re on the same page now.

Okay, so iiuc you’re relying on an assumption (fact? desire?) that the world model will never produce deduced statements that distinguish between $f^{+}$ and $f^{-}$?

Sorry, I was unclear about this in my last response.$f^{+}$ and $f^{-}$ will only agree in cases where the human understands what’s happening. In the dataset version, we get that by collecting a dataset where we think the human always gets it right, whereas in the dataset-less version, we get that by including the $\text{H\_understands}$ check which ensures that we don’t have to satisfy the condition when the human would get the question wrong.

[Rohin Shah]

I think I might be missing a change you made to the algorithm. Can ${\theta }_1$ write an arbitrary program for $f_{?}$? In that case, what prevents you from getting

def M_theta_1_plus(theta_2, x, q):
    axioms = world_model(theta_2=theta_2)(x)
    deduced_stmts = deduction(axioms)
    return {
        "f": f_minus(q, deduced_stmts),
        "f?": True,
    }

It seems like this should be lower complexity than the intended result, since True has much lower complexity than H_understands?

It seemed to me like you were using it in a way such that $f_1$ shared no weights with $f_2$

I mean, I would still have said this because I interpret a “head” $f_1$ as “the part after the shared layers”, but I’m also happy to instead treat $f_1$ as the entire function $X\times Q\to A$ for which the first head forms part of the implementation.

[evhub]

Can ${\theta }_1$ write an arbitrary program for $f_{?}$?

Yes—at least that’s the assumption I’m working under.

It seems like this should be lower complexity than the intended result, since True has much lower complexity than H_understands?

I agree that the ${\theta }_1$ you’ve described has lower complexity than the intended ${\theta }_1$—but the ${\theta }_2$ in this case has higher complexity, since ${\theta }_2$ is no longer getting any of its complexity for free from conditioning on the $f_{?}$ condition. And in fact what you’ve just described is precisely the unintended model—what I call $M^{-}$—that I’m trying to compete against, with the hope being that the savings that $M^{+}$ gives you in ${\theta }_2$ are sufficient to compensate for the loss in having to specify $f^{+}$ and H_understands in ${\theta }_1$.

If we calculate the complexity of your proposal, we get $$\begin{array}{cc}& \text{complexity}\left(M^{-}\right)\\ & =\text{complexity}\left({\theta }_1^{-}\right)+\text{complexity}\left({\theta }_2^{-}|M^{-}{|}_{f_{?}}\right)\\ & =\text{complexity}(W-H)+\text{complexity}\left(f^{-}\right)+\text{complexity}\left(H|\text{True}\right)\\ & =\text{complexity}(W-H)+\text{complexity}\left(f^{-}\right)+\text{complexity}\left(H\right)\\ & \approx \text{complexity}\left(W\right)\end{array}$$ whereas, if we calculate the complexity of the intended $M^{+}$, we get $$\begin{array}{cc}& \text{complexity}\left(M^{+}\right)\\ & =\text{complexity}\left({\theta }_1^{+}\right)+\text{complexity}\left({\theta }_2^{+}|M^{+}{|}_{f_{?}}\right)\\ & =\text{complexity}(W-H)+\text{complexity}\left(f^{-}\right)+\text{complexity}\left(f^{+}\right)+\text{complexity}\left(\text{H\_understands}\right)+\text{complexity}(H|\text{H\_understands}\to f^{+}=f^{-})\\ & \approx \text{complexity}(W-H)+\text{complexity}\left(f^{+}\right)+\text{complexity}\left(\text{H\_understands}\right)+\text{complexity}\left(H\right)-\underset{{\theta }_2}{min}\left\{\text{complexity}\right({\theta }_2)|{\text{H\_understands}}_{H={\theta }_2}\to f_{H={\theta }_2}^{+}=f_{H={\theta }_2}^{-}\}\\ & \approx \text{complexity}\left(W\right)+\text{complexity}\left(f^{+}\right)+\text{complexity}\left(\text{H\_understands}\right)-\underset{{\theta }_2}{min}\left\{\text{complexity}\right({\theta }_2)|{\text{H\_understands}}_{H={\theta }_2}\to f_{H={\theta }_2}^{+}=f_{H={\theta }_2}^{-}\}\end{array}$$ such that you can see that the question of which one wins is precisely dependent on whether the savings from conditioning on $\text{H\_understands}\to f^{+}=f^{-}$ offsets the cost of having to specify $f^{+}$ and $\text{H\_understands}$.

[Rohin Shah]

such that you can see that the question of which one wins is precisely dependent on whether the savings from conditioning on $\text{H\_understands}\to f^{+}=f^{-}$ offsets the cost of having to specify $f^{+}$ and $\text{H\_understands}$.

Yeah, that makes sense. I guess I don’t really see the intuition about why this should be true, but fair enough to leave that as an open question.