| BENCHMARKS · ALGORITHMS · OPEN PROBLEMS |
Nexma Research is the long-horizon work behind Jax. Benchmarks for spatial reasoning, algorithms for hybrid optimization, the math of agentic computer vision, and the open questions still in front of the field. Papers, datasets, and code — published where they help the next group ship faster.
NEXMA 07 · RESEARCH
Spatial general intelligence is a research program before it is a product. There are algorithms missing, benchmarks unwritten, ontologies still under construction. Nexma Research exists so the answers to those questions don’t stay locked inside a single company. We publish the benchmark, release the dataset, write the open problem down. The faster the field moves, the sooner the physical world gets the operating layer it’s waiting for.
And this is what that means:
Nexma Research · Nexma Research Preprint · PDF
A. Aviv · Nexma Research Preprint
More work, more often. New papers land in the index above.
Inferring an ontology — entity types, link types, constraints — from a stream of unlabeled spatial data is the bottleneck between Nexma working on a new vertical and working on every vertical. We’re looking for the loss function that makes this train.
Agents can write code, solvers can return a feasible solution. The protocol between them — how the agent specifies the problem, how the solver explains the answer, how either escalates an infeasibility — is still under construction.
An infrastructure design either meets code or it doesn’t. A geolocation either matches the ground truth or it doesn’t. We want verification primitives sharp enough that an agent can ship without a human in the loop on every output.
Pre-trained CV gets you 80% of the rare classes wrong. Symbolic post-processing on top of detections, conditioned on the active ontology, might close the gap. We’re measuring.
When a Skill encounters an entity that doesn’t fit the active ontology, what should it do? The right answer is ‘propose an extension with proof’ — and we don’t yet have a clean way for the agent to author that proof.
We co-author. We share datasets. We point compute at problems we can’t solve on our own. If your group works on spatial reasoning, hybrid optimization, agentic CV, or any of the open problems above, we want the conversation.
research@nexma.aiNexma Research is hiring engineers who’ve shipped a benchmark, written a solver, or shaped a foundation model. Long horizons. Bias toward open publication. The work compounds.
careers@nexma.ai