> First, the problems were manually translated into formal mathematical language for our systems to understand.

Some people call this programming