Is this group active? I'm aware of Cepheus (essentially a solution for perfect Limits Heads Up) and I see they did some further work in No Limit, but there isn't anything since a February 2018 publication. So either this work is dormant (seems plausible) or they are really under wraps on something, 'cos if you don't publish for over two years in academia you'd better have something amazing to show for it.

Carnegie Mellon already did it quite a while ago to great results

https://www.sciencedaily.com/releases/2019/07/190711141343.h....

Fb ai research has some people working on solvers that crush human opponents even multiway

https://arxiv.org/abs/1811.00164