2 papers
cs.CV2025
Appreciate the View: A Task-Aware Evaluation Framework for Novel View Synthesis
Saar Stern, Ido Sobol, Or Litany
The goal of Novel View Synthesis (NVS) is to generate realistic images of a given content from unseen viewpoints. But how can we trust that a generated image truly reflects the int…
cs.LO2023
Liveness Properties in Geometric Logic for Domain-Theoretic Streams
Colin Riba, Solal Stern
We devise a version of Linear Temporal Logic (LTL) on a denotational domain of streams. We investigate this logic in terms of domain theory, (point-free) topology and geometric log…