Collection of Llama Models finetuned to generate Isar Code to verify correctness of S3 bucket policy access code.
Balaji Rao
kings-crown
AI & ML interests
None yet
Recent Activity
updated a dataset 8 days ago
kings-crown/s2n-bignum-bench updated a dataset 5 months ago
kings-crown/s2n-bignum-bench published a dataset 5 months ago
kings-crown/s2n-bignum-benchOrganizations
None yet
models 16
kings-crown/ProofSeeker_v1
7B • Updated • 12
kings-crown/Isabelle_SFT
7B • Updated • 2
kings-crown/Isabelle_FVELer_SFT
7B • Updated • 7
kings-crown/Isabelle_mvp_sft
Text Generation • 8B • Updated • 8
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
Text Generation • 2B • Updated • 8
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
1B • Updated • 9
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 23
kings-crown/s2n-bignum-bench
Preview • Updated • 33
kings-crown/PolicyProof51
Viewer • Updated • 639 • 23
kings-crown/Few_shot_try
Viewer • Updated • 51 • 10
kings-crown/FVELer_PISA_Proven
Viewer • Updated • 1.14k • 7
kings-crown/FVELer_PISA_NotProven
Viewer • Updated • 1.98k • 14
kings-crown/SFT_Isabelle_mvp
Viewer • Updated • 200 • 4
kings-crown/FVELER_Isabelle
Viewer • Updated • 26.2k • 10
kings-crown/Isabelle_SFT
Viewer • Updated • 971 • 10
kings-crown/Isabelle_Proofs
Viewer • Updated • 1.02k • 14
kings-crown/Putnam
Viewer • Updated • 645 • 6