V-Retrver is a new way for AI to search across text and images by double-checking tiny visual details instead of only guessing from words.
This paper teaches AI to copy the hidden idea inside a picture (a visual metaphor) and reuse that idea on a brand‑new subject.
This paper builds an AI agent that learns new skills while working, like a kid who learns new tricks during recess without a teacher telling them what to do.
Numina-Lean-Agent is a new open system that uses a general coding agent to write and check exact math proofs in Lean without special training.
The paper builds a new way to create realistic, long conversations between people and AI that use tools like databases.
SenseNova-MARS is a vision-language model that can think step-by-step and use three tools—text search, image search, and image cropping—during its reasoning.