Comment by julienreszka

> most problems we care about are not stated as formal languages

then a way would be to translate them to formal language