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