TY  - RPRT
TI  - Towards a Mathematics Formalisation Assistant using Large Language Models
AU  - Ayush Agrawal
AU  - Siddhartha Gadgil
AU  - Navin Goyal
AU  - Ashvni Narayanan
AU  - Anand Tadipatri
PY  - 2022
UR  - https://arxiv.org/abs/2211.07524
ID  - 2211.07524
ER  -