most citedTowards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2024★ 1 cited

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo

Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal +2

Over the past decade, different domain-specific languages (DSLs) were proposed to formally specify requirements stated in legal contracts, mainly for analysis but also for code gen…