IsarLlama Collection of Llama Models finetuned to generate Isar Code to verify correctness of S3 bucket policy access code. kings-crown/IsarLlama-2-13b Updated Apr 26, 2024 kings-crown/Llama-2-7b-Instruct Updated Mar 7, 2024 kings-crown/IsarLlama-3-8b Updated Apr 26, 2024
IsarLlama Collection of Llama Models finetuned to generate Isar Code to verify correctness of S3 bucket policy access code. kings-crown/IsarLlama-2-13b Updated Apr 26, 2024 kings-crown/Llama-2-7b-Instruct Updated Mar 7, 2024 kings-crown/IsarLlama-3-8b Updated Apr 26, 2024
