Generating collection transformations from proofs.

Michael Benedikt Pierre Pradic

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

Keyphrases

theorem prover
neural network
formal proof
data sets
machine learning
social networks
object recognition
multiresolution
probabilistic model
document collections
theorem proving
mathematical proofs