Source: https://www.astrmira.com/en/
Language: en

ο CETI / MIRA · THE WONDERFUL STAR · ARTISTIC INTERPRETATION

A wonderful star / ASTRMIRA

# Astrmira

Seek the unknown. Build beyond the horizon.

From first principles to real-world intelligence.

We study foundational questions in data, computation, and intelligence,  
then turn rigorous ideas into systems people can use.

[Explore research](https://www.astrmira.com/en/research/)

[Discover projects](https://www.astrmira.com/en/#projects)

MIRA

Our research

## From one question,  
toward new understanding.

We frame questions, build methods, and test ideas through derivation and experiment, letting each finding become the beginning of the next inquiry.

Research, in the open

## Keep asking  
into the unknown.

From foundational problems to new findings across different fields, this is where we record our papers and research progress.

[All research](https://www.astrmira.com/en/research/)

VECTOR SEARCH · 2026.09

### When do compressed vectors make the same decisions?

Research at a glance

When Does Low-Bit Quantization Preserve the Decisions of Vector Search?

Places quantization error inside the ranking and graph-pruning decisions that vector search actually makes, relating reliability to comparison margins, correlated residuals, and execution traces.

Vector search · Decision stability

[Explore this research](https://www.astrmira.com/en/research/papers/low-bit-decisions/)

[arXiv](https://arxiv.org/abs/2609.09854)

LOW-BIT LLMS · 2026.09

### Why does the value of the same quantization move change?

Research at a glance

Contextual Utility of Quantization Moves in Extreme Low-Bit LLMs

Studies the real utility of a discrete move in extreme low-bit LLMs by evaluating the move along its own path and combining decisions in an evolving model state.

LLM quantization · Post-training

[Explore this research](https://www.astrmira.com/en/research/papers/contextual-quantization/)

[arXiv](https://arxiv.org/abs/2609.09867)

REPRESENTATION GEOMETRY · 2026.05

### What survives at one or two bits?

Research at a glance

Covariance Structure and Coordinate Heterogeneity Govern Binary Quantization of Contrastive Embeddings

Explains low-bit ranking behavior through covariance structure and coordinate heterogeneity, including why an extra magnitude bit and random rotation help different representations in different ways.

Representation geometry · Binary quantization

[Explore this research](https://www.astrmira.com/en/research/papers/covariance-binary-quantization/)

[arXiv](https://arxiv.org/abs/2605.17524)

SEARCH SYSTEMS · 2026.05

### QuIVer: building the search graph directly in binary space

Research at a glance

QuIVer: Rethinking ANN Graph Topology via Training-Free Binary Quantization

Builds, prunes, and navigates an ANN graph in a training-free two-bit space, reading full vectors only for final reranking and exposing the data regimes where compact topology works.

Approximate nearest neighbors · Graph indexes

[Explore this research](https://www.astrmira.com/en/research/papers/quiver/)

[arXiv](https://arxiv.org/abs/2605.02171)

Our practice

## Exploration goes  
beyond the paper.

Foundational research expands what is possible. Building systems lets real problems answer back.

Ideas, made tangible

## Build research  
into reality.

From data foundations and intelligent companions to a workspace for working with agents.

[All projects](https://www.astrmira.com/en/projects/)

Systems

### [TriviumDB](https://www.astrmira.com/en/projects/data-systems/)

An AI-native embedded database in Rust that unifies vectors, property graphs, and documents for agent memory and local knowledge.

License Apache-2.0

[GitHub](https://github.com/YoKONCy/TriviumDB)

Intelligence

### [infOS](https://www.astrmira.com/en/projects/agent-platform/)

An open-source runtime for AI companions, connecting long-term memory, context, and tools while powering persistent conversation and desktop interaction.

License Apache-2.0

[GitHub](https://github.com/YoKONCy/infOS)

Agent workspace

### [Varin](https://www.astrmira.com/en/projects/varin/)

An open-source workspace for AI agents. Models, tools, files, and projects meet in one place, with a native Rust runtime and clients for desktop, web, and mobile.

License AGPL-3.0

[GitHub](https://github.com/Youzini-afk/Varin)

A note on our name

## A wonderful star.  
A lasting curiosity.

Stars change. Curiosity continues.

Astr evokes the distant sky; Mira is a real variable star; Mirage is an imagined horizon still to be reached. These images come together in our Chinese name, 幻梦星芒.

Mira changes in brightness and leaves a long ultraviolet tail. It reminds us to preserve imagination around the unknown and leave a trail that others can continue.

[Name inspiration · NASA ↗](https://apod.nasa.gov/apod/ap070817.html)

Let’s ask the next question

## The next question worth studying  
may come from you.

Databases and intelligent systems · Research collaboration · University partnerships  
Begin a meaningful collaboration with one real problem.

[Contact us](https://www.astrmira.com/en/collaborate/)