VERIFIED ADVANCED LEARNING TECHNIQUES