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
submitted a paper about 15 hours ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs authored a paper about 15 hours ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs authored a paper about 15 hours ago
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMsOrganizations
None yet