60 citations · 86 across the 21 of their papers we have counts for
6 papers · 1 filter
Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
Francesco Salzano, Simone Scalabrino, Rocco Oliveto +1
Smart Contracts are critical components of blockchain ecosystems, with Solidity as the dominant programming language. While LLMs excel at general-purpose code generation, the uniqu…
Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
Remo Pareschi
Abductive reasoning - the search for plausible explanations - has long been central to human inquiry, from forensics to medicine and scientific discovery. Yet formal approaches in…
From Extraction to Synthesis: Entangled Heuristics for Agent-Augmented Strategic Reasoning
Renato Ghisellini, Remo Pareschi, Marco Pedroni +1
We present a hybrid architecture for agent-augmented strategic reasoning, combining heuristic extraction, semantic activation, and compositional synthesis. Drawing on sources rangi…
An empirical analysis of vulnerability detection tools for solidity smart contracts
Francesco Salzano, Cosmo Kevin Antenucci, Simone Scalabrino +3
The rapid adoption of blockchain technology highlighted the importance of ensuring the security of smart contracts due to their critical role in automated business logic execution…
Human-Artificial Interaction in the Age of Agentic AI: A System-Theoretical Approach
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
This paper presents a novel perspective on human-computer interaction (HCI), framing it as a dynamic interplay between human and computational agents within a networked system. Goi…
Recommending Actionable Strategies: A Semantic Approach to Integrating Analytical Frameworks with Decision Heuristics
Renato Ghisellini, Remo Pareschi, Marco Pedroni +1
We present a novel approach for recommending actionable strategies by integrating strategic frameworks with decision heuristics through semantic analysis. While strategy frameworks…