Protein Folding Theory: From Lattice to All-Atom Models | Synapse