LinearFold: linear-time approximate RNA folding by 5'-to-3' dynamic programming and beam search | Synapse