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

Cyril Cohen Enzo Crance Assia Mahboubi

Published in: ESOP (1) (2024)

Keyphrases

reinforcement learning
transfer learning
knowledge transfer
machine learning
image segmentation
multiscale
cross domain
artificial intelligence
three dimensional
expert systems
relational databases