LLMs can draft Symboleo specifications from natural-language contracts, and adding example scenarios sharply reduces errors, but the evaluation relies on one small contract and manual scoring.
A web-based environment for the specification and generation of smart legal contracts,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
LLMs can draft Symboleo specifications from natural-language contracts, and adding example scenarios sharply reduces errors, but the evaluation relies on one small contract and manual scoring.