Imagen de Portada

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Corazza, Jan, Gavran, Ivan, Moreira, Gabriela, Neider, Daniel
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Reinforcement Learning with Stochastic Reward Machines
por: Corazza, Jan, et al.
Publicado: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
por: Liu, Ye, et al.
Publicado: (2024)

Teaching Machines to Code: Smart Contract Translation with LLMs
por: Karanjai, Rabimba, et al.
Publicado: (2024)

Towards Automated Formal Verification of Backend Systems with LLMs
por: Xu, Kangping, et al.
Publicado: (2025)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
por: Pirzada, Muhammad A. A., et al.
Publicado: (2026)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
por: Richter, Cedric, et al.
Publicado: (2025)

Fine-Tuning Multilingual Language Models for Code Review: An Empirical Study on Industrial C# Projects
por: Begolli, Igli, et al.
Publicado: (2025)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
por: Wijayakoon, Chanuka, et al.
Publicado: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
por: Charalambous, Yiannis, et al.
Publicado: (2024)

Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report
por: Sengupta, Satadru, et al.
Publicado: (2026)

AccessGuru: Leveraging LLMs to Detect and Correct Web Accessibility Violations in HTML Code
por: Fathallah, Nadeen, et al.
Publicado: (2025)

On LLM-Assisted Generation of Smart Contracts from Business Processes
por: Stiehle, Fabian, et al.
Publicado: (2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
por: Liu, Ye, et al.
Publicado: (2025)

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview
por: Tihanyi, Norbert, et al.
Publicado: (2025)

On the Effectiveness of LLMs for Manual Test Verifications
por: Peixoto, Myron David Lucena Campos, et al.
Publicado: (2024)

Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation
por: Liu, Jiale, et al.
Publicado: (2026)

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
por: Charalambous, Yiannis, et al.
Publicado: (2025)

Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
por: Yu, Lei, et al.
Publicado: (2025)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
por: Ngassom, Sylvain Kouemo, et al.
Publicado: (2024)

Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanation
por: Yu, Lei, et al.
Publicado: (2024)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
por: Erfan, Md, et al.
Publicado: (2026)

Verification-Guided Context Optimization for Tool Calling via Hierarchical LLMs-as-Editors
por: Li, Henger, et al.
Publicado: (2025)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
por: Qin, Kaihua, et al.
Publicado: (2026)

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
por: Zhong, Sicheng, et al.
Publicado: (2025)

SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection
por: Yu, Lei, et al.
Publicado: (2025)

Empirical evaluation of LLMs in predicting fixes of Configuration bugs in Smart Home System
por: Monisha, Sheikh Moonwara Anjum, et al.
Publicado: (2025)

PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts
por: Andersson, Vivi, et al.
Publicado: (2025)

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
por: Kong, Ziqiao, et al.
Publicado: (2026)

Algorithmic algorithm development with LLMs: A Case Study on LLM-Usage for Contraction Order Optimization in Tensor Networks
por: Hoppe, Fabian, et al.
Publicado: (2026)

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents
por: Lu, Zijian, et al.
Publicado: (2026)

Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
por: Le, Viet-Man, et al.
Publicado: (2026)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
por: Xue, Zhiyi, et al.
Publicado: (2026)

Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
por: Bhardwaj, Varun Pratap
Publicado: (2026)

A Comprehensive Study of Exploitable Patterns in Smart Contracts: From Vulnerability to Defense
por: Ding, Yuchen, et al.
Publicado: (2025)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
por: Chen, Zaoyu, et al.
Publicado: (2025)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
por: Sun, Yuqiang, et al.
Publicado: (2023)

Taming Scylla: Understanding the multi-headed agentic daemon of the coding seas
por: Villmow, Micah
Publicado: (2026)

Smart Contracts Formal Verification: A Systematic Literature Review
por: Davila, Rene, et al.
Publicado: (2025)

Can LLMs Enable Verification in Mainstream Programming?
por: Shefer, Aleksandr, et al.
Publicado: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
por: Xia, Shihao, et al.
Publicado: (2026)