TY  - RPRT
TI  - Learning Structure-Aware Representations of Dependent Types
AU  - Konstantinos Kogkalidis
AU  - Orestis Melkonian
AU  - Jean-Philippe Bernardy
PY  - 2024
UR  - https://arxiv.org/abs/2402.02104
ID  - 2402.02104
ER  -