Proxyformer: Nyström-Based Linear Transformer with Trainable Proxy Tokens | Synapse