中文
相关论文

相关论文: Legal Compliance Evaluation of Smart Contracts Gen…

200 篇论文

Large language models (LLMs) have changed the reality of how software is produced. Within the wider software engineering community, among many other purposes, they are explored for code generation use cases from different types of input. In…

软件工程 · 计算机科学 2025-08-01 Fabian Stiehle , Hans Weytjens , Ingo Weber

This study analyzes the application of code-generating Large Language Models in the creation of immutable Solidity smart contracts on the Ethereum Blockchain. Other works have previously analyzed Artificial Intelligence code generation…

软件工程 · 计算机科学 2024-11-06 Siddhartha Chatterjee , Bina Ramamurthy

We explore using Large Language Models (LLMs) to generate application code that automates health insurance processes from text-based policies. We target blockchain-based smart contracts as they offer immutability, verifiability,…

计算与语言 · 计算机科学 2024-07-10 Inwon Kang , William Van Woensel , Oshani Seneviratne

The introduction of large language models (LLMs) like ChatGPT and Google Palm2 for smart contract generation seems to be the first well-established instance of an AI pair programmer. LLMs have access to a large number of open-source smart…

软件工程 · 计算机科学 2023-08-22 Rabimba Karanjai , Edward Li , Lei Xu , Weidong Shi

Large language models (LLMs) have been widely adopted in modern software development lifecycles, where they are increasingly used to automate and assist code generation, significantly improving developer productivity and reducing…

密码学与安全 · 计算机科学 2026-02-05 Hoang Long Do , Nasrin Sohrabi , Muneeb Ul Hassan

Large Language Models (LLMs) have emerged as coding assistants, capable of generating source code from natural language prompts. With the increasing adoption of LLMs in software development, academic research and industry based projects are…

Smart contract is a kind of self-executing code based on blockchain technology with a wide range of application scenarios, but the traditional generation method relies on manual coding and expert auditing, which has a high threshold and low…

人工智能 · 计算机科学 2025-05-14 Hao Luo , Yuhao Lin , Xiao Yan , Xintong Hu , Yuxiang Wang , Qiming Zeng , Hao Wang , Jiawei Jiang

We introduce SmartEval, a benchmark for systematically evaluating the quality of Solidity smart contracts generated by large language models (LLMs) from natural language specifications. SmartEval provides a corpus of 9,000 generated…

多智能体系统 · 计算机科学 2026-05-12 Abhinav Goel , Agostino Capponi , Alfio Gliozzo , Chaitya Shah

This paper provides a comprehensive review of the current methods and metrics used to evaluate the performance of Large Language Models (LLMs) in code generation tasks. With the rapid growth in demand for automated software development,…

软件工程 · 计算机科学 2025-03-05 Liguo Chen , Qi Guo , Hongrui Jia , Zhengran Zeng , Xin Wang , Yijiang Xu , Jian Wu , Yidong Wang , Qing Gao , Jindong Wang , Wei Ye , Shikun Zhang

The irreversible nature of blockchain transactions makes the identification of smart contract vulnerabilities an essential requirement for secure system development. While Large Language Models (LLMs) are increasingly integrated into…

密码学与安全 · 计算机科学 2026-05-13 Stefan-Claudiu Susan , Andrei Arusoaie , Dorel Lucanu

Smart Contracts are critical components of blockchain ecosystems, with Solidity as the dominant programming language. While LLMs excel at general-purpose code generation, the unique constraints of Smart Contracts, such as gas consumption,…

软件工程 · 计算机科学 2025-11-24 Francesco Salzano , Simone Scalabrino , Rocco Oliveto , Remo Pareschi

Blockchain smart contracts have catalyzed the development of decentralized applications across various domains, including decentralized finance. However, due to constraints in computational resources and the prevalence of data silos,…

分布式、并行与集群计算 · 计算机科学 2024-12-09 Youquan Xian , Xueying Zeng , Duancheng Xuan , Danping Yang , Chunpei Li , Peng Fan , Peng Liu

Large language models (LLMs) are being increasingly integrated into legal applications, including judicial decision support, legal practice assistance, and public-facing legal services. While LLMs show strong potential in handling legal…

As blockchain technology and smart contracts become widely adopted, securing them throughout every stage of the transaction process is essential. The concern of improved security for smart contracts is to find and detect vulnerabilities…

密码学与安全 · 计算机科学 2025-03-11 S M Mostaq Hossain , Amani Altarawneh , Jesse Roberts

Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays be achieved through the use of smart contracts, which…

In the past few years, Large Language Models (LLMs) have exploded in usefulness and popularity for code generation tasks. However, LLMs still struggle with accuracy and are unsuitable for high-risk applications without additional oversight…

软件工程 · 计算机科学 2024-10-29 William Murphy , Nikolaus Holzer , Feitong Qiao , Leyi Cui , Raven Rothkopf , Nathan Koenig , Mark Santolucito

This research addresses the time-consuming and error-prone nature of manual code compliance checking in Building Information Modeling (BIM) by introducing a Large Language Model (LLM)-driven approach to semi-automate this critical process.…

软件工程 · 计算机科学 2025-06-26 Soumya Madireddy , Lu Gao , Zia Din , Kinam Kim , Ahmed Senouci , Zhe Han , Yunpeng Zhang

With the rapid development of Large Language Models (LLMs), a large number of machine learning models have been developed to assist programming tasks including the generation of program code from natural language input. However, how to…

人工智能 · 计算机科学 2024-06-19 Debalina Ghosh Paul , Hong Zhu , Ian Bayley

We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process. Our research focuses on the optimization of prompt engineering…

密码学与安全 · 计算机科学 2023-06-23 Isaac David , Liyi Zhou , Kaihua Qin , Dawn Song , Lorenzo Cavallaro , Arthur Gervais

Large Language Models (LLMs) are one of the most promising developments in the field of artificial intelligence, and the software engineering community has readily noticed their potential role in the software development life-cycle.…

软件工程 · 计算机科学 2026-03-16 Greta Dolcetti , Vincenzo Arceri , Eleonora Iotti , Sergio Maffeis , Agostino Cortesi , Enea Zaffanella
‹ 上一页 1 2 3 10 下一页 ›