Picture for Orestis Melkonian

Orestis Melkonian

Learning Structure-Aware Representations of Dependent Types

Add code
Feb 03, 2024
Viaarxiv icon