Beyond Quadratic Chabauty

We survey progress from the last few years in explicitly computing with Kim’s non-abelian Chabauty beyond the case of Quadratic Chabauty. We will also describe some ongoing work with a view toward a conjectural algorithm for Effective Faltings.