Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores.

Adrián Riesco Kazuhiro Ogata

Published in: ACM Trans. Softw. Eng. Methodol. (2018)

Keyphrases

formal proof
theorem prover
artificial intelligence
ranked list
scoring functions
scoring methods
substantially higher
database
case study
face recognition
lower bound
score distributions