conftrace_

dependent type

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

program representation (1) type theory (1) premise selection (1) neural network (1) structural representation (1) proof assistant (1) structural learning (1) neural architecture (1)

Papers

Learning Structure-Aware Representations of Dependent Types NeurIPS 2024