By proving some comparison results between pushforwards of overconvergent isocrystals and those of arithmetic #92;mathcal#123;D#125;-modules, we manage to deduce some cases of the conjecture from Caro's results on the stability of overcoherence under pushforward via a smooth and proper morphism of varieties.
Source: wiktionary