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
11
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
Updated
kings-crown/Llama-3.2-1B-Instruct-EM624
Updated
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
datasets
13
kings-crown/IsarCombined
Viewer
•
Updated
•
98
•
42
kings-crown/IsarLang
Preview
•
Updated
•
36
kings-crown/IsabelleTraining
Updated
•
35
kings-crown/IsarCodingLearn
Updated
•
32
kings-crown/PolicyProof51
Viewer
•
Updated
•
51
•
38
kings-crown/Isar
Viewer
•
Updated
•
34
•
35
kings-crown/Aircrafts_updated
Viewer
•
Updated
•
128
•
50
kings-crown/Causal_Keys
Viewer
•
Updated
•
130
•
9
kings-crown/EM624_QA_full
Viewer
•
Updated
•
4.33k
•
50
kings-crown/summary_key
Viewer
•
Updated
•
130
•
38