This is hard to me since I am a mathematician/statistician
I did read the book "String Theory" by Witten in early 1990s, but I did not understand it. In the book, it is full of formal calculations which are not rigorous math (could be formal phyical descriptions).