ベクトルを圧縮しても、同じ判断は保たれるか？
When Does Low-Bit Quantization Preserve the Decisions of Vector Search?
量子化誤差を検索の順位付けやグラフ枝刈りの判断に位置づけ、比較マージン、相関した残差、実行軌跡から信頼性を考察します。
ο CETI / MIRATHE WONDERFUL STARARTISTIC INTERPRETATION
不思議な星 / ASTRMIRA
Astrmira
未知を探り、可能性の先へ。
第一原理から、実世界で役立つ知能へ。
データ、計算、知能の根本にある問いを研究し、
厳密な理論を、使えるシステムへと育てます。
下へスクロール
MIRA
データベース✧検索✧ベクトル✧量子化✧事後学習✧数学
私たちの研究
ひとつの問いから、
新たな理解へ。
問いを立て、手法を構築し、導出と実験で確かめる。その発見を、次の探究の出発点にします。
開かれた研究
未知に向かって、
問い続ける。
基礎的な課題から分野を横断する発見まで。ここに論文と研究の進展を記録します。
同じ量子化変更の価値は、なぜ変わるのか？
Contextual Utility of Quantization Moves in Extreme Low-Bit LLMs
極低ビット LLM の離散的な変更を、その変更自身の経路に沿って評価し、変化するモデル状態の中で判断を組み合わせます。
1～2 ビットにしても、何が残るのか？
Covariance Structure and Coordinate Heterogeneity Govern Binary Quantization of Contrastive Embeddings
共分散構造と座標の不均一性から低ビットでの順位付けを説明し、追加の大きさビットやランダム回転の効果が表現ごとに異なる理由を探ります。
QuIVer：二値空間で検索グラフを直接構築する
QuIVer: Rethinking ANN Graph Topology via Training-Free Binary Quantization
学習不要の 2 ビット空間で ANN グラフを構築、枝刈り、探索し、最後の再順位付けでのみ完全なベクトルを読みます。コンパクトなトポロジーが機能するデータ条件を明らかにします。
論文 · 発見 · 進展
私たちの実践
探究を、
論文の先へ。
基礎研究が可能性を広げ、システム開発を通じて現実の課題が研究に応えます。
アイデアを形に
研究を、
現実の中へ。
データ基盤や知的なパートナーから、複雑な仕事を継続して進める仕組みまで。
名前に込めたもの
不思議な星。
尽きない好奇心。
星は変わっても、探究は続く。
Astr は遠い星空、Mira は実在の変光星、Mirage はまだ届いていない想像の地平。そのイメージを、中国語名「幻梦星芒」に重ねています。
Mira は明るさを変えながら、紫外線で見える長い尾を残します。その姿に、未知への想像を保ち、次の人がたどれる跡を残す研究のあり方を見ています。
名前の着想 · NASA ↗次の問いを、一緒に
次の研究につながる問いは、
あなたの中にあるかもしれません。
データベースと知的システム · 研究連携 · 大学との共同研究
ひとつの現実的な課題から、意味のある協力を始めましょう。