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
Organizations
None yet
models
16
kings-crown/ProofSeeker_v1
7B
•
Updated
•
2
kings-crown/Isabelle_SFT
7B
•
Updated
kings-crown/Isabelle_FVELer_SFT
7B
•
Updated
•
3
kings-crown/Isabelle_mvp_sft
Text Generation
•
8B
•
Updated
•
1
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
Text Generation
•
2B
•
Updated
•
1
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
1B
•
Updated
•
1
kings-crown/Llama-3.2-1B-Instruct-EM624
1B
•
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
•
4
kings-crown/Few_shot_try
Viewer
•
Updated
•
51
kings-crown/FVELer_PISA_Proven
Viewer
•
Updated
•
1.14k
•
1
kings-crown/FVELer_PISA_NotProven
Viewer
•
Updated
•
1.98k
•
3
kings-crown/SFT_Isabelle_mvp
Viewer
•
Updated
•
200
•
1
kings-crown/FVELER_Isabelle
Viewer
•
Updated
•
26.2k
•
10
kings-crown/Isabelle_SFT
Viewer
•
Updated
•
971
•
2
kings-crown/Isabelle_Proofs
Viewer
•
Updated
•
1.02k
•
2
kings-crown/Putnam
Viewer
•
Updated
•
645
•
4
kings-crown/Isabelle_RL
Viewer
•
Updated
•
244k
•
19
•
1