Generally speaking, would it be hard to prove an employee stealing company’s financial model(s)?
I should think so.
Remembering that you’re allowed to use the knowledge that you have acquired, and knowing that each programmer has a style, if it were a model that you developed, if you recreated it from scratch it would likely look very similar to the original.