Speaker: Won Jun Kim
<u>EDIC candidacy exam</u><br>
Exam president: Prof. Martin Schrimpf<br>
Thesis advisor: Prof. Amir Zamir<br>
Co-examiner: Prof. Robert West<br>
<br>
<u>Abstract</u><br>
Difficult tasks often require multiple steps to reach the solution. Mathematical proofs proceed through lemmas, software is built from hierarchical abstractions, proteins fold through transient conformations, and modern generative models synthesise images through sequences of intermediate representations. These intermediate states progressively expose useful structure while reducing uncertainty about the solution. This