I'm trying to understand Kunrui Yu's series of papers [1 2 3] on lower bounds of linear forms of p-adic logarithms (i.e., p-adic Baker's theorem). I know the proof of the usual Baker's theorem through excellent resources like Terence Tao's blog post, or Soundararajan's notes. I'm wonder if anyone knows similar digests or sketches for Yu's bounds, especially for someone who just wants to know the key ideas that are required specifically for the p-adic case. This can be either some pdf somewhere, or as a direct answer to this question.
Thanks in advance!
