A Systematic Study of the Role of Data Quality and Alignment for Fine-tuning LLMs for Enhanced Autoformalization.

Krrish Chawla, Mario DePavia, Aryan Sahai, Brando Miranda

Browse the full ICLR paper archive.