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