57 citations · 278 across the 28 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
Manuela Imbriani, Gina Belmonte, Mieke Massink +2
This paper presents preliminary results in the definition of a comprehensive benchmark framework designed to systematically evaluate spatial reasoning capabilities in neural networ…
cs.LO2025★ 1 cited
Practical Exploration of Polyhedral Model Checking
Yuri Andriaccio, Vincenzo Ciancia, Diego Latella +1
This work explores the potential of spatial model checking of polyhedral models on a number of selected examples. In computer graphics polyhedral models can be found in the form of…