I'm pretty sure they aren't partnering with CMU, but rather offering many senior scientists and faculty members lucrative salaries to leave academia and work for them. So the Cadillac IP still belongs to the university. In fact, that actually spun out into a separate company called Ottomatika (which has a licensing deal from CMU).