Even in CS papers, I've seen many clunky explanations that would benefit from introducing notation.

I think authors are sometimes reluctant to use a mathematical style when there's no theorem in the paper. They shouldn't be. Mathematical exposition can be useful for describing experiments and results too.