Ein wunderbarer Stern / ASTRMIRA
Das Unbekannte erkunden. Über den Horizont hinaus gestalten.
Von ersten Prinzipien zu Intelligenz in der Praxis.
Wir erforschen die Grundlagen von Daten, Berechnung und Intelligenz
und machen aus fundierten Ideen nutzbare Systeme.
Unsere Forschung
Wir formulieren Fragen, entwickeln Methoden und prüfen Ideen durch Herleitung und Experiment. Jede Erkenntnis wird zum Ausgangspunkt der nächsten Untersuchung.
Forschung offen teilen
Von grundlegenden Problemen bis zu neuen Erkenntnissen in unterschiedlichen Gebieten: Hier dokumentieren wir unsere Artikel und Forschungsfortschritte.
When Does Low-Bit Quantization Preserve the Decisions of Vector Search?
Untersucht Quantisierungsfehler in den tatsächlichen Rang- und Graphbeschneidungsentscheidungen der Vektorsuche und verbindet deren Zuverlässigkeit mit Vergleichsmargen, korrelierten Residuen und Ausführungsspuren.
Contextual Utility of Quantization Moves in Extreme Low-Bit LLMs
Untersucht den tatsächlichen Nutzen diskreter Schritte in LLMs mit extrem niedriger Bitbreite, indem jeder Schritt entlang seines Weges und im sich verändernden Modellzustand bewertet wird.
Covariance Structure and Coordinate Heterogeneity Govern Binary Quantization of Contrastive Embeddings
Erklärt Rangverhalten bei niedriger Bitbreite durch Kovarianz und unterschiedliche Koordinatenskalen, einschließlich der unterschiedlichen Wirkung eines zusätzlichen Betragsbits und zufälliger Rotation auf verschiedene Repräsentationen.
QuIVer: Rethinking ANN Graph Topology via Training-Free Binary Quantization
Baut, beschneidet und durchsucht einen ANN-Graphen in einem trainingsfreien Zweibit-Raum. Vollständige Vektoren werden nur zur abschließenden Neusortierung gelesen; die Arbeit zeigt, für welche Daten diese kompakte Topologie geeignet ist.
Unsere Praxis
Grundlagenforschung erweitert das Mögliche. Mit Systemen geben wir realen Problemen die Gelegenheit, darauf zu antworten.
Ideen werden greifbar
Von Datengrundlagen und intelligenten Begleitern bis zur verlässlichen Ausführung komplexer Aufgaben.
Eine in Rust entwickelte, auf KI ausgerichtete eingebettete Datenbank. Sie verbindet Vektoren, Eigenschaftsgraphen und Dokumente für Agentengedächtnis und lokales Wissen.
Eine offene Laufzeitumgebung für KI-Begleiter, die Langzeitgedächtnis, Kontext und Werkzeuge für fortlaufende Gespräche und Desktop-Interaktion verbindet.
Ein umfassender Agent Harness für komplexe Entwicklungsarbeit: Codesuche, Kontext und Gedächtnis, Koordination mehrerer Agenten und überprüfbare Ergebnisse.
Die Geschichte unseres Namens
Sterne verändern sich. Neugier bleibt.
Astr steht für den fernen Himmel, Mira für einen realen veränderlichen Stern und Mirage für einen vorgestellten, noch unerreichten Horizont. Diese Bilder verbinden sich in unserem chinesischen Namen 幻梦星芒.
Mira verändert ihre Helligkeit und hinterlässt einen langen Schweif im Ultraviolett. Das erinnert uns daran, dem Unbekannten mit Vorstellungskraft zu begegnen und Spuren zu hinterlassen, an die andere anknüpfen können.
Inspiration für den Namen · NASA ↗Stellen wir die nächste Frage
Datenbanken und intelligente Systeme · Gemeinsame Forschung · Hochschulkooperationen
Eine sinnvolle Zusammenarbeit beginnt mit einem konkreten Problem.