Astrmira幻梦星芒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.
Forschung im Überblick
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.
Diese Forschung entdeckenForschung im Überblick
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.
Diese Forschung entdeckenForschung im Überblick
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.
Diese Forschung entdeckenForschung im Überblick
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.
Diese Forschung entdeckenUnsere 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 zu einem Arbeitsbereich für die Arbeit mit Agenten.
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 quelloffener Arbeitsbereich für KI-Agenten. Modelle, Werkzeuge, Dateien und Projekte kommen an einem Ort zusammen, mit nativer Rust-Laufzeit und Clients für Desktop, Web und Mobilgeräte.
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.