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
updated
a model
about 20 hours ago
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
published
a model
about 20 hours ago
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
updated
a dataset
about 22 hours ago
kings-crown/Isabelle_SFT
Organizations
None yet
Collections
1
models
12
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
Text Generation
•
Updated
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
datasets
17
kings-crown/Isabelle_SFT
Viewer
•
Updated
•
971
kings-crown/Isabelle_Proofs
Viewer
•
Updated
•
1.02k
•
4
kings-crown/Putnam
Viewer
•
Updated
•
645
•
57
kings-crown/Isabelle_RL
Viewer
•
Updated
•
244k
•
65
kings-crown/IsarCombined
Viewer
•
Updated
•
98
•
33
kings-crown/IsarLang
Preview
•
Updated
•
26
kings-crown/IsabelleTraining
Updated
•
27
kings-crown/IsarCodingLearn
Updated
•
26
kings-crown/PolicyProof51
Viewer
•
Updated
•
51
•
34
kings-crown/Isar
Viewer
•
Updated
•
34
•
32