Short answer, no, I don't and no, you won't be able to find it.
PECOTA doesn't use a "formula"; it looks at a player's production at various ages and levels and compares it to players in the past who look similar. And all of the rest of them are mostly educated guesswork, I think. The only one that really has a "formula" is Marcels
and even then, he doesn't say (at least on that page) exactly what the formula is. But he might elsewhere.
0-3 to 4-3. Worst choke in the history of baseball. Enough said.