Learning Structure-Aware Representations of Dependent Types

Contributed (Poster) @ The Thirty-Eighth Annual Conference on Neural Information Processing Systems
December 11, 2024
Slides

Extracting and learning structurally faithful representations of Agda programs/proofs.