Autoformalization with Large Language Models

Published in Thirty-sixth Conference on Neural Information Processing Systems (NeurIPS), 2022