How PowerInfer‑2 Turns Your Smartphone Into an AI Workstation

The cost model leverages SMT‑based solving (Z3) to achieve optimal decoding speed under CPU, I/O, and memory constraints.