Searcharxiv⌕ Search

arXiv subjects

Luiza Martins de Freitas Cintra

Publications and source records attributed to Luiza Martins de Freitas Cintra.

2 recordsLinked to original sources

SpatialChain: A Benchmark for Auditing Spatial Reasoning Faithfulness in VLMs

Thinking-enabled vision-language models (VLMs) report ever-higher accuracy on spatial benchmarks, yet final-answer scores cannot reveal whether a correct prediction reflects faithful spatial reasoning or a linguistic shortcut. We introduce SpatialChain, a dataset of 28,350 training and 899 test examples pairing spatially-oriented GQA questions with scene-graph-grounded reasoning chains, retained only when the generated answer matches the symbolic ground truth, and a two-axis evaluation combining objective chain-overlap metrics with a scene-graph-aware LLM judge that scores faithfulness and completeness independently of the final answer. Applied to nine thinking-enabled VLMs, the protocol surfaces three findings invisible to standard accuracy: (i) four of nine models achieve $\geq$79% VQA accuracy while exhibiting shortcut rates above 39%, i.e., correct answers whose reasoning the judge marks as unfaithful; (ii) chain quality significantly predicts answer correctness for seven of nine models, but the two exceptions (Claude Sonnet 4.6, InternVL3.5-8B) reveal qualitatively distinct failure modes, terse output vs. verbose-decorative reasoning, that benchmark accuracy alone conflates; (iii) SFT on SpatialChain improves Qwen3-VL-8B by +6.2 pp in-domain and reduces its shortcut rate to 22%, while a stylistic specialization effect on external benchmarks motivates replay-augmented training as mitigation. The faithfulness judge is validated against 198 human-annotated items, where judge-human agreement matches human-human agreement, and against a second judge from a different provider, which preserves the model ranking ($ρ$ = 0.88). Data, generation scripts, and evaluation code are released at https://github.com/spatialchain/SpatialChainBenchmark.

cs.CV↗

M&SCheck: Towards a Checklist to Support Software Engineering Newcomers to the Modeling and Simulation Area

The advent of increasingly complex and dynamic ecosystems, such as digital twins (DT), smart cities and Industry 4.0 and 5.0, has made evident the need to include modeling and simulation (M&S) in the software development life cycle. Such disruptive systems include simulation models in their own architecture (such as DT) or require the use of simulation models to represent the high degree of movement and the multiplicity of interactions that occur between the involved systems. However, when software engineers (particularly the newcomers) need to use M&S in their projects, they often pose themselves an important question: which formalism should I use? In this direction, the main contribution of this paper is the establishment of a preliminary checklist with questions to assist beginners in M&S in choosing the most appropriate paradigm to solve their problems. The checklist is based on three main formalisms: DEVS, System Dynamics and Agent-Based Simulation. A pilot study was carried out and an expert was consulted. The preliminary results show (i) conformance between the suggestion given by the checklist and the formalism selected in the original studies used as input for evaluating the checklist, and (ii) a positive feedback from the expert.

cs.SE↗