Summary
The paper proposes a new pretraining objective called meet in the middle. This is a bidirectional objective consisting of forward plus backward logprob and an agreement term measured by total variation distance between the two. The forward and backward models share parameters and optionally attention.
Inference is done by generating in two directions until they meet in the middle with agreement, potentially introducting a 2x factor in parallelism and reduced latency.
The model are tested on both code generation accuracy and perplexity on several training set and the pile. They compared to both published baselines training on different data as well as FIM trained on the same data, showing strong results.
Strengths
bidirectional agreement objective that is pretty simple and intuitive in some ways, giving strong results compared to FIM. should be easy enough for others to adopt
results and comparisons are strong
some helpful ablations are included
Weaknesses
"New paradigm" is perhaps exaggerated for introducing bidirectional model via sharing and agreement
still more complexity compared to FIM, and some source of improvements are not very clear. For instance, there are several claims of improved data efficiency due to bidirectionally, but the experiments do not seem to test this directly. If this is the main claim, then some direct left to right comparisons would make more sense.
the optional improvements seems pretty important and yielded half the improvement over FIM, so perhaps should not be considered optional. For instance, HE infilling results for MIM, MIM-lambda=0, and FIM are respectively 26.3, 24.7 and 22.8. The caption of table 1 says the 26.3 was without the enhancement from 3.2.2 whereas the ablations in table 5 suggest it was.
no comparisons with more recent models like santacoder, starcoder
Questions
given that FIM actually conditions on both the prefix and suffix whereas MIM only conditions on one at a time with weak interactions, any discussion on how MIM outperforms despite that?
not very clear what is the backup when the model fails to meet in the middle and how false positives are dealt with, especially for long context generations.
Rating
7: Accept: Technically solid paper, with high impact on at least one sub-area, or moderate-to-high impact on more than one areas, with good-to-excellent evaluation, resources, reproducibility, and no unaddressed ethical considerations.
Confidence
4: You are confident in your assessment, but not absolutely certain. It is unlikely, but not impossible, that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work.