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 dataset
3 days ago
kings-crown/FVELER_Isabelle
published
a dataset
4 days ago
kings-crown/FVELER_Isabelle
updated
a model
8 days ago
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
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
•
3
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
18
kings-crown/FVELER_Isabelle
Viewer
•
Updated
•
26.2k
•
17
kings-crown/Isabelle_SFT
Viewer
•
Updated
•
971
•
71
kings-crown/Isabelle_Proofs
Viewer
•
Updated
•
1.02k
•
44
kings-crown/Putnam
Viewer
•
Updated
•
645
•
59
kings-crown/Isabelle_RL
Viewer
•
Updated
•
244k
•
89
kings-crown/IsarCombined
Viewer
•
Updated
•
98
•
41
kings-crown/IsarLang
Preview
•
Updated
•
36
kings-crown/IsabelleTraining
Updated
•
30
kings-crown/IsarCodingLearn
Updated
•
39
kings-crown/PolicyProof51
Viewer
•
Updated
•
51
•
40