2 papers
cs.CL2026
claimcheck: Measuring and Improving Specification Faithfulness
Martin Amster, One An, Holly Baker +3
Formal verification proves that a program satisfies its specification, but says nothing about whether the specification captures what the author meant. As LLMs increasingly write b…
cs.CV2026
A Multi-Stage Optimization Pipeline for Bethesda Cell Detection in Pap Smear Cytology
Martin Amster, Camila María Polotto
Computer vision techniques have advanced significantly in recent years, finding diverse and impactful applications within the medical field. In this paper, we introduce a new frame…