Helpful Links

[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