SearcharxivSearch

arXiv subjects

Leyuan Yu

Publications and source records attributed to Leyuan Yu.

2 recordsLinked to original sources

MindEdit-Bench: Benchmarking Object-Level Counterfactual Spatial Reasoning in VLMs from In-the-Wild Photos

Benchmarks for vision-language models (VLMs) mostly test observational spatial reasoning: models describe relations already visible in the input. Existing what-if tasks typically vary the observer while keeping the scene fixed. Can VLMs instead predict the consequences of hypothetically moving or rotating an object? We introduce MindEdit-Bench, a benchmark of six spatial reasoning tasks built from three-photo smartphone triplets of newly captured indoor scenes via an automatic in-the-wild 3D scene-graph extraction pipeline. Four tasks probe perception and perspective transformation over observed structure; two new tasks, L4 (spatial editing) and L5 (cross-view visibility editing), probe object-level counterfactual reasoning, where correct answers are absent from all input images. Each question provides 8-24 structured answer choices, enabling answer-letter-level diagnosis of spatial and fallback errors. The benchmark covers 120 private indoor scenes not drawn from public datasets, reducing public-data pretraining-overlap risk. Across 15 VLMs on 1,003 human-verified questions, task-wise mean VLM accuracy is only 8%-31%, versus 81%-97% human majority-vote accuracy. The pooled human--best-VLM gap is 53 pp, with at least 39 pp on every task. The structured answer space further reveals non-uniform failures, including weaker camera-depth-axis inference and fallback behavior on difficult visibility-editing cases.

cs.CV

Sharp trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere

We establish sharp Sobolev trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere, extending the corresponding Euclidean results of Einav-Loss, Beckner, and Bez-Machihara-Sugimoto to these non-Euclidean settings. In the limiting case, sharp trace Beckner-Onofri inequalities are also established on the CR sphere. The proofs are based on a duality argument due to Bez-Machihara-Sugimoto, together with the Frank-Lieb sharp form of the Hardy-Littlewood-Sobolev inequalities on the Heisenberg group and the CR sphere. The same approach also yields trace Beckner-Onofri inequalities on the standard sphere.

math.AP