Why Are Proofs Relevant in Proof-Relevant Models?

Axel Kerinec Giulio Manzonetto Federico Olimpieri

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

Keyphrases

database
neural network
machine learning algorithms
closely related
search engine
multi agent
video sequences
experimental data
theorem proving