Learning Structure-Aware Representations of Dependent TypesDecember 2024 — Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe BernardyNeurIPS '24#AI#agda#formalmethods#neural networks
