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
authored a paper 1 day ago
Neural Theorem Proving: Generating and Structuring Proofs for Formal
Verification submitted a paper 2 days ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs authored a paper 2 days ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMsOrganizations
None yet
models 16
kings-crown/ProofSeeker_v1
7B • Updated
kings-crown/Isabelle_SFT
7B • Updated • 2
kings-crown/Isabelle_FVELer_SFT
7B • Updated • 1
kings-crown/Isabelle_mvp_sft
Text Generation • 8B • Updated • 4
kings-crown/Qwen2.5-1.5B-Open-R1-Distill
Text Generation • 2B • Updated • 3
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 22
kings-crown/PolicyProof51
Viewer • Updated • 639 • 5
kings-crown/Few_shot_try
Viewer • Updated • 51 • 5
kings-crown/FVELer_PISA_Proven
Viewer • Updated • 1.14k • 5
kings-crown/FVELer_PISA_NotProven
Viewer • Updated • 1.98k • 7
kings-crown/SFT_Isabelle_mvp
Viewer • Updated • 200 • 5
kings-crown/FVELER_Isabelle
Viewer • Updated • 26.2k • 3
kings-crown/Isabelle_SFT
Viewer • Updated • 971 • 4
kings-crown/Isabelle_Proofs
Viewer • Updated • 1.02k • 5
kings-crown/Putnam
Viewer • Updated • 645 • 5
kings-crown/Isabelle_RL
Viewer • Updated • 244k • 8 • 1