fyp23038site

Detailed Project Plan

[Update 2023/10/1] Download pdf file for our final year project Large Language Model for Interactive Formal Theorem Proving here.

Detailed_Project_Plan_AI4MathDownload

Posted

in

by

fyp23038

Tags:

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *