A Closer Look at Some Recent Proof Compression-Related Claims.

Michael C. Chavrimootoo Ethan Ferland Erin Gibson Ashley H. Wilson

Published in: CoRR (2022)

Keyphrases

neural network
closely related
real time
image sequences
image compression
image quality
pattern matching
theorem prover