Learning Structure-Aware Representations of Dependent Types
Contributed (Poster) @ The Thirty-Eighth Annual Conference on Neural Information Processing Systems
December 11, 2024
Extracting and learning structurally faithful representations of Agda programs/proofs.