RickyDeSkywalker

/

GAR_DeepSeek-Prover-V2

like 0

Hi! I'm Niels from the Hugging Face community science team. I noticed this model card could use some extra metadata and links to help researchers find and use your work more easily.

This PR adds:

• library_name: transformers and pipeline_tag: text-generation to the YAML metadata.
• Relevant tags like math, lean, and reinforcement-learning.
• A link to the research paper GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving.
• A link to the official GitHub repository.

Let me know if you have any questions!