2 citations · 3 across the 3 of their papers we have counts for
4 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…
PORTS: Preference-Optimized Retrievers for Tool Selection with Large Language Models
Lorenzo Molfetta, Giacomo Frisoni, Nicolò Monaldini +1
Integrating external tools with Large Language Models (LLMs) has emerged as a promising paradigm for accomplishing complex tasks. Since LLMs still struggle to effectively manage la…
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…
Mixture of Masters: Sparse Chess Language Models with Player Routing
Giacomo Frisoni, Lorenzo Molfetta, Davide Freddi +1
Modern chess language models are dense transformers trained on millions of games played by thousands of high-rated individuals. However, these monolithic networks tend to collapse…