The .lib files are useful even when doing dynamic linking in MSVC, at which time they serve as the import libraries. It differs from GCC that .so is only used for dynamic linking, while .a is only for static linking. For the pre-compiled LibTorch binaries, they are built dynamically, so you need the DLL files.