Include challenge in input MLE
question 1: the challenge in logup denominators are really necessary to be in MLE?
yes, this challenge is irrelevant to the GKR protocol (don’t mess it with the challenges in sum-check and challenges for later random linear combination of MLE evaluations), \(\frac{1}{\alpha +x}\) \(\alpha\) guarantees …