Proof repair across type equivalences.

Talia Ringer RanDair Porter Nathaniel Yazdani John Leo Dan Grossman

Published in: PLDI (2021)

Keyphrases

computer vision
learning environment
feature selection
metadata
face recognition
relational databases
connected components
theorem prover
damage assessment