Jingxuan Zhang

Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem

2021

The stable path problem (SPP) is a unified model for analyzing the convergence of distributed routing protocols (e.g., BGP), and a foundation for many network verification tools. Although substantial progress has been made on finding …

Forward Attention in Sequence- To-Sequence Acoustic Modeling for Speech Synthesis

2018

This paper proposes a forward attention method for the sequence-to-sequence acoustic modeling of speech synthesis. This method is motivated by the nature of the monotonic alignment from phone sequences to acoustic sequences. Only the alignment …