CONTROLARENA / INPUT VALIDATION
入力条件と、記録されたデータを突き合わせる。
入力監査を公開・PR作者から返信
10問題・24件の保存済みバックドア入力を、問題の制約と照合。仕様とデータが一致しない未解決の事例を報告しました。
検証内容と範囲を見る ↗PR作者の範囲に関する返信 ↗MIKOTO / AI SAFETY EVALUATION
評価基盤を監査し、
スコアの根拠を
検証する。
ミコトは、AI Safety（AI安全性）の評価・検証に取り組む会社です。ベンチマークの入力・判定テスト・採点前提を調べ、再現できる検証記録と修正案をお渡しします。
研究助成・共同研究・法人契約
01 / AI SAFETY EVALUATION
評価の結果を支える、入力・テスト・採点前提を検証。
ControlArena、FACE-Eval、Debate型AI制御の公開アーティファクトを対象に、検証3件と感度分析1件を公開しました。コード・観測結果・検証範囲を確認できます。
CONTROLARENA / SIDE-TEST PROBES
区別すべき出力を、テストが見分けられるか。
オフライン検証パッケージ公開済み
Djangoの2タスクを局所的に検証。エスケープ済み・未処理の出力をどちらも受理する条件式を特定し、修正前後・変異版の挙動を比較しました。
検証内容と範囲を見る ↗FACE-EVAL / INSPECT SCORER
推論文の欠測や解析失敗が、どう採点されるか。
Issue #1・オフライン再現コード公開済み
採点関数の局所検証で、推論文がない場合の値とREADMEの規約の不一致を報告。欠測や解析失敗の扱いを上流へ確認しています。
検証内容と範囲を見る ↗DEBATE CONTROL / SENSITIVITY BOUNDS
平均の取り方と、未観測条件への感度を分ける。
Manifund 方法論ノート公開済み
保存済みのPhase 2結果から、平均する単位によって推定の意味が変わる点を整理。未観測の条件が結論に与える影響を、仮定ごとの外側境界で示しました。
検証内容と範囲を見る ↗代表個人によるオフライン調査および保存済み出力の分析です。評価パイプライン全体やライブモデルのAPI実行・攻撃は未実行です。公開は上流による承認を意味しません。
02 / SERVICES
一つの評価課題から、検証できる成果物へ。
まずは1〜2週間程度の調査から。対象・実行環境・成果物を整理し、期間と費用を個別にお見積もりします。
AUDIT
評価基盤の監査
データセットの制約、判定テスト、採点前提を点検。観測できた不具合と、未確定の仕様を整理します。
調査報告・最小再現例・主張と証拠の対応表
VERIFY & FIX
再現・修正・回帰試験
再実行できる検証コードと修正案を構築。異常系を含め、修正前後の挙動を比較します。
再現ハーネス・修正差分・回帰テスト
COLLABORATE
評価ツールの研究開発
検証器や評価ツールを、合意した節目ごとに開発。研究助成・共同研究・法人契約で取り組みます。
研究計画・検証ツール・検証結果の報告
03 / ENGINEERING BACKGROUND
検証を支える、基盤ソフトウェアでの経験。
数理最適化とEthereum基盤での公開貢献を、評価・検証を担う技術経験として紹介します。
HiGHS
再現モデルと厳密な有理数チェッカーを添えて報告した最適性バグを、メンテナーが確認。上流側が作成した修正PR #3408は2026年10月16日にマージされました。
根拠と現在の状態 ↗Optimism / op-reth
履歴プルーフの不具合をメンテナーが独立再現し、修正案をコメントレビュー。正式承認・マージは未了です。
根拠と現在の状態 ↗04 / WORKING TOGETHER
知りたいことを合意し、判断の根拠を残す。
研究開発にはAIを活用します。非公開コード・データの扱いと、使用できるツールは着手前に合意します。
対象を絞る
評価対象・環境・知りたいことを整理。
範囲を合意する
成果物・受入条件・費用・情報の扱いを合意。
実装・検証する
版・実行条件・結果・検証範囲を記録。
判断・引き継ぐ
コードと結果、残る課題を共有。
05 / COMPANY
AI Safetyの研究開発を、法人で。
これまでの事業実績：イベント管理システムの設計・開発、SNS調査分析、大学向け研究データ整備。 過去の事業実績 ↗
mikoto.
TOKYO, JAPAN
EST. MAY 2005
- 法人名
- 株式会社ミコト
- 代表者
- 川﨑 暁
- 設立
- 2005年5月
- 所在地
- 東京都渋谷区恵比寿4-20-3
恵比寿ガーデンプレイスタワー18階 - ご連絡
- 日本語 / 翻訳を併用した英語での文面対応
- 法人GitHub
- mikoto0320 ↗
LET’S BUILD THE EVIDENCE