Gauss, an Agent for Autoformalization