What is the average satisfying degree of the course Machine Learning Theory?
sat refers to student's satisfaction degree with the course;
SELECT CAST(SUM(T1.sat) AS REAL) / COUNT(T1.student_id) FROM registration AS T1 INNER JOIN course AS T2 ON T1.course_id = T2.course_id WHERE T2.name = 'Machine Learning Theory'