Translating proofs from an impredicative type system to a predicative one.

Thiago Felicissimo Frédéric Blanqui Ashish Kumar Barnawal

Published in: CoRR (2022)

Keyphrases

machine learning
computer vision
three dimensional
theorem proving
formal proofs
bayesian networks