Add GitHub repository link to model card
#2
by
nielsr
HF Staff
- opened
This PR improves the model card by explicitly adding a link to the GitHub repository of the BFS-Prover project (https://github.com/bytedance-research/BFS-Prover). This was inferred from the abstract stating the model is open-sourced and the common naming convention of the model's Hugging Face ID. The current card only links to a related library, so this addition will make the project's main codebase more accessible to users. A GitHub badge is also added to the header, and emojis for the paper and code links are updated for better visual clarity.
Done
RanXinByteDance
changed pull request status to
merged