Recent CMU alum here ('15). 10-701/702 are the intense higher level courses meant for ML PhD students. If you want something a little less mathematically rigorous and a little more application focused, consider the masters version of the course, 10-601. All if its material is available here online as well [1]. That said, if you are willing to put in the effort and have the mathematical background to tackle 701/702, you definitely won't leave disappointed.