CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo.

Mathieu Boespflug Guillaume Burel

Published in: PxTP (2012)

Keyphrases

computer algebra
data sets
neural network
machine learning
information systems
inductive learning
algebraic structure
computer vision
bayesian networks
real numbers
automated deduction
provably correct