kings-crown
/

IsarLlama-3-8b

Model card Files Files and versions Community

Edit model card

README.md exists but content is empty. Use the Edit model card button to edit it.

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

Inference API

Unable to determine this model's library. Check the docs .

Collection including kings-crown/IsarLlama-3-8b

IsarLlama

Collection of Llama Models finetuned to generate Isar Code to verify correctness of S3 bucket policy access code. • 3 items • Updated Apr 26