RickyDeSkywalker

/

GAR_Goedel-Prover-V2

like 0

Hi! I'm Niels from the community science team at Hugging Face.

I've opened this PR to enhance your model card with additional metadata and documentation. Specifically:

• Added the text-generation pipeline tag to improve discoverability.
• Added library_name: transformers to enable the automated code snippet feature on the Hub.
• Linked the model to its official research paper for better visibility and easier citation.

These changes help the community better understand and utilize your work.