Кастингът е много прост:
from sqlalchemy.dialects.postgresql import array, ARRAY
cast(array([]), ARRAY(Integer))
Без да виждам какво сте опитали, мога само да спекулирам, че сте опитали да прехвърлите към array(Integer)
вместо ARRAY(Integer)
.