'Cognitive Agent Compilation'은 어떤 연구인가요? 문제를 푸는 사람을 명시적으로 모델링한다는 것은 무슨 뜻인가요?