February 23, 2026· Science of Computer Programming
article
Generating formal smart-contract specifications: comparing few-shot learning and fine-tuned LLMs
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.