Nikitin Nikita. "The analogy theorem in Hoare logic for formal verification of knowledge transfer in machine learning." Scientific Reports, 2026. doi:10.1038/s41598-026-62447-w