Category: Uncategorized

  • Helpful Links

    [Update 2024/4/27] A summary of our production results, including codebase, model weights, and more. Enjoy ~ GitHub: HuggingFace (fine-tuned model weights, to be published later): VS Code extension (Marketplace link): Poster: 3-min demo video (HKU login required):

  • Final Report

    [Update 2024/4/27] Our final report is out! Check out our results and contribution here.

  • Interim Report

    [Update 2023/1/21] View the interim report here in pdf format.

  • Detailed Project Plan

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