Picture for Ashvni Narayanan

Ashvni Narayanan

Towards a Mathematics Formalisation Assistant using Large Language Models

Add code
Nov 14, 2022
Viaarxiv icon