Our paper got published! Nice collaboration with HEC Paris and ATOS. We used our #Symboleo project in that context too!

Baquero, P.M., et al. The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies. AI & Law. doi.org/10.1007/s105...

Accepted at RAISE 2025 (@ICSE)! We explored how well #GPT-4o can convert English legal contracts into #Symboleo specifications, using 38 prompt configurations. We also tested a few configurations on Claude, Gemini, Llama, and Mistral. Great potential for #LegalTech! See arxiv.org/pdf/2411.15898

At the SnT (Univ. Luxemburg) on May 12, I presented our work on the use of the #Symboleo formal language for converting legal contracts to #SmartContracts, and results in using LLMs (of course!) to generate Symboleo specifications from English contracts. Presentation slides: lnkd.in/euUPUk3x

Interested in legal contract verification and #SmartContract generation? We have two papers on #Symboleo in that special issue of SoSyM!