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 10 days ago
kings-crown/s2n-bignum-bench published a dataset 11 days ago
kings-crown/s2n-bignum-bench authored a paper about 2 months ago
Neural Theorem Proving: Generating and Structuring Proofs for Formal
VerificationOrganizations
None yet
models 16
kings-crown/ProofSeeker_v1
7B • Updated • 2
kings-crown/Isabelle_SFT
7B • Updated • 2
kings-crown/Isabelle_FVELer_SFT
7B • Updated • 1
kings-crown/Isabelle_mvp_sft
Text Generation • 8B • Updated • 2
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
Text Generation • 2B • Updated • 6
kings-crown/Llama-3.2-1B-Instruct-EM624-Q4_K_M-GGUF
1B • Updated • 4
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
Viewer • Updated • 2.3k • 27
kings-crown/PolicyProof51
Viewer • Updated • 639 • 6
kings-crown/Few_shot_try
Viewer • Updated • 51 • 5
kings-crown/FVELer_PISA_Proven
Viewer • Updated • 1.14k • 10
kings-crown/FVELer_PISA_NotProven
Viewer • Updated • 1.98k • 7
kings-crown/SFT_Isabelle_mvp
Viewer • Updated • 200 • 3
kings-crown/FVELER_Isabelle
Viewer • Updated • 26.2k • 6
kings-crown/Isabelle_SFT
Viewer • Updated • 971 • 7
kings-crown/Isabelle_Proofs
Viewer • Updated • 1.02k • 3
kings-crown/Putnam
Viewer • Updated • 645 • 3