Provable Finite Data Generalization with Group Autoencoder