Small Proofs from Congruence Closure.

Oliver Flatt Samuel Coward Max Willsey Zachary Tatlock Pavel Panchekha

Published in: FMCAD (2022)

Keyphrases

theorem prover
machine learning
knowledge base
metadata
similarity measure
wide range
search algorithm
natural language
feature space
relational databases
small number
medical images
decision procedures