YAML Metadata Warning: empty or missing yaml metadata in repo card

Check out the documentation for more information.

This is an adapter for the Dolly-6B model that has been fine-tuned on Coq code from the CoqGym dataset.

Downloads last month: -; Downloads are not tracked for this model. How to track

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support