Mostly Automated Proof Repair for Verified Libraries.

Kiran Gopinathan Mayank Keoliya Ilya Sergey

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

automated theorem provers
multimedia
digital libraries
fully automated
semi automated
fully automatic
database
computer vision
metadata
data driven
semi automatic
computer assisted
automated analysis
repair actions