TriSpec: Ternary Speculative Decoding Via Lightweight Proxy Verification | AMiner