šŸ¦’Web3Research
Papers1 provider Ā· 1 record
January 1, 2024Ā· Lecture notes in computer science
conference-paper

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs

Authors:Gabriel Augusto Leite *Filipe ArrudaPedro AntoninoAugusto SampaioA. W. Roscoe

Abstract

No abstract metadata is available for this record.

Open source page Discuss Ā· 0

Community

0 comments
Use Connect Wallet in the navigation

No discussion yet

Be the first to share a question or observation.