converting code to more abstract and denser representations and then manipulating them makes sense to me. Finding better representations is like half of mathematics.

Is code being converted to / represented in maths that much more helpful for an LLM that deals in language primarily, by definition? I have no idea, interesting though!