The idea is that we’re thinking of pseudo-inputs as “predicates that constrain X” here, so, for α∈Xpseudo, we have α:X→B.
Ah right, thanks! (My background is more stats than comp sci, so I’m used to “indicator” instead of “predicate.”)
The idea is that we’re thinking of pseudo-inputs as “predicates that constrain X” here, so, for α∈Xpseudo, we have α:X→B.
Ah right, thanks! (My background is more stats than comp sci, so I’m used to “indicator” instead of “predicate.”)