The official repository for the paper Multi-language Diversity Benefits Autoformalization.
The LLaMA model is hosted at Internet Archive. The Mistral model will be made available upon publication.
The data are in the data folder.
The evaluation results are in the evaluation folder.