Copertina

An end-to-end agentic pipeline for smart contract translation and quality evaluation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goel, Abhinav, Shah, Chaitya, Capponi, Agostino, Gliozzo, Alfio
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Software Engineering D.3; I.2; J.6; D.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
di: Goel, Abhinav, et al.
Pubblicazione: (2026)

xML-workFlow: an end-to-end explainable scikit-learn workflow for rapid biomedical experimentation
di: Tran, Khoa A., et al.
Pubblicazione: (2025)

Assessing LLMs for Front-end Software Architecture Knowledge
di: Guerra, L. P. Franciscatto, et al.
Pubblicazione: (2025)

LLMCup: Ranking-Enhanced Comment Updating with LLMs
di: Ge, Hua, et al.
Pubblicazione: (2025)

Selecting Cybersecurity Requirements: Effects of LLM Use and Professional Software Development Experience
di: Fujs, Damjan, et al.
Pubblicazione: (2025)

Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
di: Nguyen, Quang-Dung, et al.
Pubblicazione: (2025)

A measurement substrate for agentic Kubernetes operations: Methodology and a case study in retrieval-compounding falsification
di: Odmark, Joshua, et al.
Pubblicazione: (2026)

Myriad People Open Source Software for New Media Arts
di: Baudry, Benoit, et al.
Pubblicazione: (2025)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
di: Downing, Mara, et al.
Pubblicazione: (2025)

From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering
di: Wlodarski, Rafal
Pubblicazione: (2026)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
di: Jana, Prithwish, et al.
Pubblicazione: (2026)

Towards Continuous Assurance with Formal Verification and Assurance Cases
di: Abeywickrama, Dhaminda B., et al.
Pubblicazione: (2025)

AI-assisted JSON Schema Creation and Mapping
di: Neubauer, Felix, et al.
Pubblicazione: (2025)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
di: Holt, Samuel, et al.
Pubblicazione: (2023)

Reinforcement Learning for Dynamic Workflow Optimization in CI/CD Pipelines
di: Soni, Aniket Abhishek, et al.
Pubblicazione: (2026)

Streamlining Security Vulnerability Triage with Large Language Models
di: Torkamani, Mohammad Jalili, et al.
Pubblicazione: (2025)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
di: Parris, William M.
Pubblicazione: (2026)

CodeTracer: Towards Traceable Agent States
di: Li, Han, et al.
Pubblicazione: (2026)

AI-Assisted Engineering Should Track the Epistemic Status and Temporal Validity of Architectural Decisions
di: Gilda, Sankalp, et al.
Pubblicazione: (2026)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
di: Slater, Tyler
Pubblicazione: (2025)

AI Agentic workflows and Enterprise APIs: Adapting API architectures for the age of AI agents
di: Tupe, Vaibhav, et al.
Pubblicazione: (2025)

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
di: Torkamani, Mohammad Jalili, et al.
Pubblicazione: (2024)

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
di: Hundal, Rajdeep Singh, et al.
Pubblicazione: (2025)

Towards Explainable Test Case Prioritisation with Learning-to-Rank Models
di: Ramírez, Aurora, et al.
Pubblicazione: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
di: Susan, Ştefan-Claudiu, et al.
Pubblicazione: (2025)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
di: Light, Jonathan, et al.
Pubblicazione: (2024)

A Non-Destructive Methodological Framework for Modernizing Legacy Clinical Reporting Systems for AI-Driven Pharmacoinformatics: A SAS Case Study
di: Yan, Jaime
Pubblicazione: (2026)

The Single-File Test: A Longitudinal Public-Interface Evaluation of First-Output LLM Web Generation with Social Reach Tracking
di: Palacios, Diego Cabezas
Pubblicazione: (2026)

AuditRepairBench: A Paired-Execution Trace Corpus for Evaluator-Channel Ranking Instability in Agent Repair
di: Hu, Yuelin, et al.
Pubblicazione: (2026)

Understanding and Detecting Flaky Builds in GitHub Actions
di: Ge, Wenhao, et al.
Pubblicazione: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
di: Ranasinghe, Nishath Rajiv, et al.
Pubblicazione: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
di: Kiashemshaki, Kiana, et al.
Pubblicazione: (2025)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
di: Paipuru, Tarakanath
Pubblicazione: (2026)

Refute-or-Promote: An Adversarial Stage-Gated Multi-Agent Review Methodology for High-Precision LLM-Assisted Defect Discovery
di: Agarwal, Abhinav
Pubblicazione: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
di: Ravi, Ravin, et al.
Pubblicazione: (2026)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
di: Khatchadourian, Raffi, et al.
Pubblicazione: (2025)

Engineering RAG Systems for Real-World Applications: Design, Development, and Evaluation
di: Hasan, Md Toufique, et al.
Pubblicazione: (2025)

An LSTM-based Test Selection Method for Self-Driving Cars
di: Güllü, Ali, et al.
Pubblicazione: (2025)

Orion: Fuzzing Workflow Automation
di: Bazalii, Max, et al.
Pubblicazione: (2025)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
di: Jahan, Sigma, et al.
Pubblicazione: (2026)