研究者らは、人間の注釈を不要にする多モーダル解析幾何学問題の完全自動生成のためのスケーラブルなフレームワークであるFormalAnalyticGeoを発表しました。このシステムは、符号付き距離場エンジンを通じて問題文と正確な図のレンダリングをつなぐために、CDLと呼ばれる形式的な中間表現を利用しています。

  • 4つの専門化されたLLMコンポーネントが順次動作します：Generatorが多様な問題を生成し、FormalizerがそれらをCDLに変換し、Measurerが視覚ベースの測定を通じて正解を抽出し、Quality Verifierが3つの段階で出力を検証します。
  • バリデーターからの構造化されたフィードバックが自動再試行を駆動し、テキスト、図、注釈が揃った7,000件以上の検証済み多モーダル問題からなるAnalyticGeo7Kというデータセットを生成する閉ループを形成します。
  • 生成された問題は中央値の正解相対誤差0.70%を達成し、答えの82.3%が正確な記号的解の5%以内に収まっています。

このフレームワークは、高品質な多モーダルデータセットを作成するための厳密で自動化された方法を提供することで、解析幾何学における注釈付きサンプルの不足に対処しています。