I think it's a derivative of CFR, with a lot of optimizations and abstractions. They reduce the search space by grouping different card combinations together e.g. KK and QQ are treated same. They also limit the action space and only allow half-pot or full pot bets.

This is what I remember. I went through what they published briefly sometime back. So I could be wrong here.