activity
20102025
most citedA Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

31 citations · 133 across the 23 of their papers we have counts for

collaborators

26 papers

cs.CV2025★ 23 cited

A review of Recent Techniques for Person Re-Identification

Andrea Asperti, Salvatore Fiorilla, Simone Nardi +1

Person re-identification (ReId), a crucial task in surveillance, involves matching individuals across different camera views. The advent of Deep Learning, especially supervised tec…

cs.AI2025★ 3 cited

Thinking Machines: Mathematical Reasoning in the Age of LLMs

Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen

Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. Th…

cs.CV2025

Does CLIP perceive art the same way we do?

Andrea Asperti, Leonardo Dessì, Maria Chiara Tonetti +1

CLIP has emerged as a powerful multimodal model capable of connecting images and text through joint embeddings, but to what extent does it 'see' the same way humans do - especially…

cs.CV2025★ 1 cited

A Critical Assessment of Modern Generative Models' Ability to Replicate Artistic Styles

Andrea Asperti, Franky George, Tiberio Marras +2

In recent years, advancements in generative artificial intelligence have led to the development of sophisticated tools capable of mimicking diverse artistic styles, opening new pos…

cs.CV2024★ 1 cited

Deep Learning for Sea Surface Temperature Reconstruction under Cloud Occlusion

Andrea Asperti, Ali Aydogdu, Angelo Greco +6

Sea Surface Temperature (SST) reconstructions from satellite images affected by cloud gaps have been extensively documented in the past three decades. Here we describe several Mach…

cs.AI2024

A Notion of Complexity for Theory of Mind via Discrete World Models

X. Angelo Huang, Emanuele La Malfa, Samuele Marro +3

Theory of Mind (ToM) can be used to assess the capabilities of Large Language Models (LLMs) in complex scenarios where social reasoning is required. While the research community ha…