検証可能性を 保つ研究。

表現・圧縮・制御可能性が、生成テキストやコードの品質をどのように左右するかを研究しています。

制御可能なコード編集を詳しく見る

研究テーマ

不具合の原因はコーデックか生成器か?

誤った段階に計算資源を費やす前に、再構成損失と潜在生成損失を分離する。

失敗した段階を診断する

局所的で予測可能なコード編集

明示的な保持契約の下で、選択的再生成、制約付き生成、AI 支援リファクタリングを比較し、関数全体の書き換えを防ぐ。

コード編集の制御面を選択する

コード空間MDLMか、トークン空間MDLMか?

非可逆コーデックが課す品質上限を考慮しつつ、単一の復号テキスト評価器で両者を比較する。

報告対象の各段階を比較する
焦点を絞った5つの研究課題を見る