Complete Bidirectional Typing for the Calculus of Inductive Constructions.

Meven Lennon-Bertrand

Published in: CoRR (2021)

Keyphrases

machine learning
inductive learning
inductive reasoning
artificial intelligence
information systems
decision trees
knowledge representation
data sets
genetic algorithm
database systems
data model
automated deduction