Hongjian Jiang

Linear RNNs achieve transformer-like parallelization because they're essentially log-depth arithmetic circuits, while nonlinear RNNs are fundamentally limited by their ability to solve computationally harder problems.

Unlock formal verification for transformer-level programs by translating them into synchronous dataflow languages, enabling rigorous analysis and optimization.