Customer-obsessed science

Health AI is evolving from answering questions to agentic systems that converse with patients, reason about health records, and act on their behalf. Primary care guards against diagnostic errors and unsafe care; agents assisting in this domain warrant evaluation against the same risks. Current benchmarks focus on medical knowledge, assessed through isolated question-answering or clinician-facing tasks.

We describe a series of experiments reconstructing dynamic VFX scenes from multi-camera and moving-camera footage using Gaussian Splatting, built from open-source components. Through this process we report what worked, what broke, and what we learned, spanning an extension of Shape of Motion for moving cameras, an evaluation harness for 4D Gaussian Splatting, a baseline study, and algorithmic contributions

E-commerce stores rely on product catalog data, which can be enriched by automated mechanisms like visual attribute extraction, for features like search and filtering. Extracting visual attributes from product images in e-commerce is challenging due to the wide diversity in products and the high cost of manual labeling, making traditional methods that rely on human-annotated data often impractical. In this

We study stochastic bandits in which observing a reward is optional but incurs an action-dependent cost. This setting captures applications where feedback acquisition (e.g., human evaluation or randomized testing) is expensive, and the learner must trade off exploration, exploitation, and observation cost. We formulate regret to include both reward loss and the cumulative cost of requested observations.

Large language models (LLMs) are good at generating code, but remain brittle for formal verification in systems like LEAN4. A core scalability challenge is that verified synthesis requires consistent outputs across multiple artifacts: executable code, precise specifications, theorem statements, and ultimately proofs. Existing approaches rarely treat these as a unified pipeline. We present BRIDGE, a structured