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 about 1 year ago
kings-crown/PolicyProof51 updated a model about 1 year ago
kings-crown/ProofSeeker_v1Organizations
None yet