For microcontrollers I have mostly seen onnx exported models or torchscript models. You can check deepC 2. They use onnx exported models which is not pytorch directly but you can kind of use pytorch to onnx export.
I was referring to examples more on the deployment side where you can use c++ to deploy models.