TY  - RPRT
TI  - Epistemic Transfer in AI-Assisted Verification: A Framework and Evaluation Protocol
AU  - Christoph Trattner
PY  - 2026
UR  - https://arxiv.org/abs/2608.08882
ID  - 2608.08882
ER  -