research
∙
06/02/2023
Evaluating Language Models for Mathematics through Interactions
The standard methodology of evaluating large language models (LLMs) base...
share
research
∙
10/21/2022
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
The formalization of existing mathematical proofs is a notoriously diffi...
research
∙
05/25/2022
Autoformalization with Large Language Models
Autoformalization is the process of automatically translating from natur...
research
∙
05/22/2022