I think I remember vaguely that sometimes he customizes his own set of D'addario strings for higher tension, but the recent videos are J71 which have normal tension.
The ones that are on now are the J-71
I wanted to try out the normal tension strings. Most of the time I use the extra high tension strings and just double up on the high E for both my G and A strings.