They use linear models and soft cores. Plenty complicated for the kind of arb you could get executing 500ns tick to trade better than the next firm.