Supplementary material for Evaluating Legal Compliance of Smart Contracts Generated by Large Language Models

This repository contains the supplementary material for the paper titled "Evaluating Legal Compliance of Smart Contracts Generated by Large Language Models". It includes natural-language legal contracts, their smart contract implementations, and Petri net models of said legal contracts contracts.