Learning Structure-Aware Representations of Dependent Types
Paper in proceeding, 2024
Author
Konstantinos Kogkalidis
Jean-Philippe Bernardy
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Orestis Melkonian
IO Global
Advances in Neural Information Processing Systems
10495258 (ISSN)
Advances in Neural Information Processing Systems
Vancouver, Canada,
Vancouver, Canada,
Subject Categories (SSIF 2025)
Computer and Information Sciences