TY  - RPRT
TI  - Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
AU  - Mounira Nihad Zitouni
AU  - Amal Ahmed Anda
AU  - Sahil Rajpal
AU  - Daniel Amyot
AU  - John Mylopoulos
PY  - 2024
UR  - https://arxiv.org/abs/2411.15898
ID  - 2411.15898
ER  -