Category: Uncategorized

[Update 2024/4/27] A summary of our production results, including codebase, model weights, and more. Enjoy ~ GitHub: https://github.com/xijia-tao/fyp-ai4math HuggingFace (fine-tuned model weights, to be published later): https://github.com/xijia-tao/fyp-ai4math VS Code extension (Marketplace link): https://marketplace.visualstudio.com/items?itemName=XijiaTao.lean3-local-copilot Poster: https://wp2023.cs.hku.hk/wp-content/uploads/fyp2023_posters/fyp23038.jpg 3-min demo video (HKU login required): https://vss.hku.hk/sso/vs14200/fyp/2023/exhibition/fyp23038.mp4

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

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

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