3 papers
cs.CR2026
LLMs as verification oracles for Solidity
Massimo Bartoletti, Enrico Lipparini, Livio Pompianu
Ensuring the correctness of smart contracts is critical, as even subtle flaws can lead to severe financial losses. While bug detection tools able to spot common vulnerability patte…
cs.DL2025
A Hybrid AI Methodology for Generating Ontologies of Research Topics from Scientific Paper Corpora
Alessia Pisu, Livio Pompianu, Francesco Osborne +3
Taxonomies and ontologies of research topics (e.g., MeSH, UMLS, CSO, NLM) play a central role in providing the primary framework through which intelligent systems can explore and i…
cs.CL2024
LIMBA: An Open-Source Framework for the Preservation and Valorization of Low-Resource Languages using Generative Models
Salvatore Mario Carta, Stefano Chessa, Giulia Contu +19
Minority languages are vital to preserving cultural heritage, yet they face growing risks of extinction due to limited digital resources and the dominance of artificial intelligenc…