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
Recent Activity
liked
a dataset
5 days ago
Cognitive-Lab/Kannada-Instruct-dataset
updated
a model
about 1 month ago
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
updated
a model
about 2 months ago
kings-crown/Llama-3.2-1B-Instruct-EM624
Organizations
None yet
Collections
1
models
11
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
Updated
•
2
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
•
40
kings-crown/IsarLang
Preview
•
Updated
•
37
kings-crown/IsabelleTraining
Updated
•
32
kings-crown/IsarCodingLearn
Updated
•
35
kings-crown/PolicyProof51
Viewer
•
Updated
•
51
•
35
kings-crown/Isar
Viewer
•
Updated
•
34
•
34
kings-crown/Aircrafts_updated
Viewer
•
Updated
•
128
•
35
kings-crown/Causal_Keys
Viewer
•
Updated
•
130
•
3
kings-crown/EM624_QA_full
Viewer
•
Updated
•
4.33k
•
47
kings-crown/summary_key
Viewer
•
Updated
•
130
•
31