# MMA
The official repository for the paper Multi-language Diversity Benefits Autoformalization.

The LLaMA model is hosted at [Internet Archive](https://archive.org/details/mma_33b_params). The Mistral model will be made available upon publication.

The data are in the data folder.

The evaluation results are in the evaluation folder.
