2 citations · 2 across the 2 of their papers we have counts for
3 papers
SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts
Giovanni Pio Delvecchio, Stefano Fantazzini, Giacomo Frisoni +4
Large language models increasingly generate Solidity smart contracts that, once deployed, can never be patched, making a single latent fault permanent and exploitable. Yet current…
Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era
Giovanni Pio Delvecchio, Lorenzo Molfetta, Gianluca Moro
The integration of symbolic computing with neural networks has intrigued researchers since the first theorizations of Artificial intelligence (AI). The ability of Neuro-Symbolic (N…
Zero-Shot Warning Generation for Misinformative Multimodal Content
Giovanni Pio Delvecchio, Huy Hong Nguyen, Isao Echizen
The widespread prevalence of misinformation poses significant societal concerns. Out-of-context misinformation, where authentic images are paired with false text, is particularly d…