2 papers
cs.CL2026
COMPOSE: Composing Future Theorems from Citations and Formal Structure
David Busbib, Michael Werman
A plausible future mathematical claim must satisfy two constraints: it should follow the direction of prior work and respect the formal dependencies that constrain what can validly…
cs.CV2024
Camera Calibration and Stereo via a Single Image of a Spherical Mirror
Nissim Barzilay, Ofek Narinsky, Michael Werman
This paper presents a novel technique for camera calibration using a single view that incorporates a spherical mirror. Leveraging the distinct characteristics of the sphere's conto…