research
∙
11/14/2022
Towards a Mathematics Formalisation Assistant using Large Language Models
Mathematics formalisation is the task of writing mathematics (i.e., defi...
research
∙
04/10/2019