JevalsJevals/jevals-dataJevals データ: TypeSafe Jev の独立ベンチマーク
TypeSafe AI の Jev（System One モデル）と複数の LLM を、判定タスクにおける決定スコア、精度、キャリブレーション、コスト、遅延で比較する独立したベンチマークデータ。
100CC-BY-4.0
Jev Labs: 検証済みコンセンサスカーネル
TypeSafe の Jev/System One を TLA+ 検証済みコンセンサスカーネルでラップした研究リポジトリ。実 Jev API を使い、ノイズフロア測定、キャリブレーション、1,680 回のカオステストを実施。
仓库以 TypeSafe 的 Jev/System One 为核心，通过形式化验证、混沌测试和实际 API 调用深入测试共识内核，包含真实的 Jev API 调用、SDK 使用和评测数据。
· 1 starsOpen on GitHub
More like this
JevalsJevals/jevals-data
NearCaiNearCai/JevLightJevLight：CityFlowベースの交通信号制御評価フレームワーク
CityFlow ベースの交通信号制御フレームワークで、TypeSafe Jev および OpenAI 互換 LLM コントローラを、ルールベースおよび強化学習ベースラインと同一のシミュレーションパイプラインで評価します。
000MIT
choxoschoxos/jev-reviewerJev Reviewer：系統レビューデータ抽出
TypeSafe AI の Jev/System One モデル（jev-1.13.0）を使用して試験報告書や付属資料から逐語的な根拠を特定し、RoB 2、ROBINS-I、QUADAS-2 などのテンプレートに対応。ファイルはブラウザ内でローカル処理され、サーバーにアップロードされません。
3261MIT