ProInterVal: Validation of Protein–Protein Interfaces through Learned Interface Representations | Synapse