名字的故事:Astr · Mira · Mirage
我們的名字連結了星空、變星與尚待抵達的想像。它們表達我們對研究的期待:有向遠方發問的好奇,也有仔細觀察、再次檢視與驗證想法的耐心。
這些意象交織,成為「幻夢星芒」。浪漫的好奇與嚴謹的求索,都是我們希望建立的研究文化。
我們的研究態度
面對值得投入的問題,我們會追問其中的基本關係、現有解釋能走到哪裡,以及如何取得更可靠的理解。
第一性原理
從基本關係出發。
先明確陳述問題、假設與約束,再選擇方法。檢索路徑為何有效?壓縮後的表示保留了什麼?Agent 如何可靠地推進長任務?這些問題都會回到資料、計算與決策之間的關係。理解機制,才能判斷方法何時適用。
證據與修正
讓證據改變判斷。
推導讓推理更清楚,實驗則檢驗它的預測。我們重視對照、重現,以及方法失效的情況。未如預期的結果也是線索;當觀察與假設不一致時,我們回到假設本身,尋找更準確的解釋。
理論與實踐
在理論與工程之間往返。
真實系統會呈現更完整的約束:資源、延遲、狀態、維護,以及持續使用中的變化。工程細節能提出新的理論問題。雙向探索,讓我們更深入理解想法,也建立更可靠的系統。
長期的好奇
給長期問題足夠的時間。
進展可能來自新想法,也可能來自對舊問題更細緻的觀察。我們看重可被繼續的工作:清楚的推導、能核對的實驗,以及持續有用的實作。每一步,都為後續探索多留下依據。
讓研究與系統,相互推動。
研究方向隨問題展開。我們目前關注資料庫與檢索、向量表示及模型量化,也探索後訓練與數學的基礎問題。論文記錄階段性發現,系統則讓想法接受更長時間的實際使用。
這也體現在我們建構的開源專案中:從組織資料、連結記憶與行動,到支援複雜任務的持續執行。
讓不同經驗,在共同問題上相遇。
基礎研究、工程與真實使用,各自帶來不同的觀察角度。我們歡迎研究者、大學團隊、開發者與產業夥伴交流,更精確地定義問題,並在更多條件下檢驗方法。
合作可以從論文討論、方法重現、系統實驗,或一項尚未解決的具體問題開始。明確問題與貢獻期待,逐步累積共同理解,也讓適合公開的成果被更多人閱讀、檢驗與延伸。