概要
このリポジトリは、決定論的なトランスフォーマーランタイム「Transformer VM」を提供します。
コンパクトなアセンブリ言語をトランスフォーマー形式のランタイムにコンパイルし、決定論的に実行、実行トレースを記録し、透明なSTARK（Scalable Transparent ARgument of Knowledge）を用いて計算の正しさを証明します。
同じプログラムをネイティブ、Burn、ONNXなど複数のエンジンで実行し、意味的な相違を検出する機能も持ちます。
LLMが「証明可能なコンピュータ」として機能するかという研究に基づき、AIの形式検証、決定論的なLLM実行、セキュリティ、透明性に関心のある開発者や研究者が想定ユーザーです。
互換性・特徴
- Rust
- CLI
- Transformer
- 形式検証
- LLM
基本情報
| Stars | 63 |
| Forks | 15 |
| カテゴリ | LLM |
| アクティビティ | low |