Collection of Llama Models finetuned to generate Isar Code to verify correctness of S3 bucket policy access code.
Balaji
kings-crown
·
AI & ML interests
None yet
Organizations
None yet
Collections
1
models
10
kings-crown/Llama-3.2-1B-Instruct-EM624
Updated
•
16
kings-crown/IsarLlama-3-8b
Updated
kings-crown/IsarLLama-2-7b
Updated
kings-crown/IsarLlama-2-13b
Updated
kings-crown/CodeIsar
Updated
kings-crown/SyntaxTunedIsar
Updated
kings-crown/IsarFinetuned
Updated
kings-crown/Llama-2-7b-Instruct
Updated
kings-crown/EM624_QA_Multi
Text Generation
•
Updated
kings-crown/EM624_QA_Full
Updated
datasets
13
kings-crown/IsarCombined
Viewer
•
Updated
•
98
kings-crown/IsarLang
Preview
•
Updated
kings-crown/IsabelleTraining
Updated
kings-crown/IsarCodingLearn
Updated
kings-crown/PolicyProof51
Viewer
•
Updated
•
51
kings-crown/Isar
Viewer
•
Updated
•
34
kings-crown/Aircrafts_updated
Viewer
•
Updated
•
128
kings-crown/Causal_Keys
Viewer
•
Updated
•
130
kings-crown/EM624_QA_full
Viewer
•
Updated
•
4.33k
•
12
kings-crown/summary_key
Viewer
•
Updated
•
130
•
1