Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence.

Cyril Cohen Enzo Crance Assia Mahboubi

Published in: ESOP (1) (2024)

Keyphrases

theorem proving
knowledge transfer
machine learning
case study
theorem prover
data sets
neural network
similarity measure
pairwise
transfer learning
linear logic
inter annotator agreement