You size for whatever the amperage is. I'm assuming your 'controller' here is a variable speed drive since they are the only controllers I know of that can convert single phase to 3 phase. Anyway, the input to the drive will be a known value you can get from the drive specs. The output from the drive to the motor will be a known value you can look up in the NEC using the hp rating on the motor.
I guess that would mean you would use the 25 hp rating for the drive and the 10 hp rating for the motor.