Finite descent and the Lawrence--Venkatesh method