Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs

Science of Computer Programming 2026

View at publisher

Authors: Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto C. A. Sampaio, A.W. Roscoe

DOI: 10.1016/j.scico.2026.103464

Cited by: 1

References: 11

Fields of Study & Subjects

Artificial Intelligence in Law Topic Modeling Multi-Agent Systems and Negotiation

References 11