Collection of Llama Models finetuned to generate Isar Code to verify correctness of S3 bucket policy access code.
Kings-Crown
kings-crown
·
AI & ML interests
None yet
Recent Activity
updated
a dataset
13 days ago
kings-crown/PolicyProof51
updated
a model
16 days ago
kings-crown/ProofSeeker_v1
updated
a dataset
17 days ago
kings-crown/Few_shot_try
Organizations
None yet
Collections
1
models
16
kings-crown/ProofSeeker_v1
Updated
•
36
kings-crown/Isabelle_SFT
Updated
•
48
kings-crown/Isabelle_FVELer_SFT
Updated
•
2.02k
kings-crown/Isabelle_mvp_sft
Text Generation
•
Updated
•
56
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
Text Generation
•
Updated
•
8
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
Updated
•
6
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
datasets
22
kings-crown/PolicyProof51
Viewer
•
Updated
•
639
•
60
kings-crown/Few_shot_try
Viewer
•
Updated
•
51
•
29
kings-crown/FVELer_PISA_Proven
Viewer
•
Updated
•
1.14k
•
65
kings-crown/FVELer_PISA_NotProven
Viewer
•
Updated
•
1.98k
•
47
kings-crown/SFT_Isabelle_mvp
Viewer
•
Updated
•
200
•
45
kings-crown/FVELER_Isabelle
Viewer
•
Updated
•
26.2k
•
55
kings-crown/Isabelle_SFT
Viewer
•
Updated
•
971
•
88
kings-crown/Isabelle_Proofs
Viewer
•
Updated
•
1.02k
•
73
kings-crown/Putnam
Viewer
•
Updated
•
645
•
5
kings-crown/Isabelle_RL
Viewer
•
Updated
•
244k
•
55