Learning Structure-Aware Representations of Dependent Types - Kogkalidis, Konstantinos; Melkonian, Orestis; Bernardy, Jean-Philippe (Advances in Neural Information Processing Systems, 2024)