Complete Bidirectional Typing for the Calculus of Inductive Constructions.

Meven Lennon-Bertrand

Published in: ITP (2021)

Keyphrases

machine learning
provably correct
data sets
neural network
search algorithm
inductive learning
bidirectional search