This is an adapter for the Dolly-6B model that has been fine-tuned on Coq code from the CoqGym dataset.
{}
region:us
TAGS
#region-us 

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

TAGS
#region-us 
