生成AI加速TLA+チャレンジ：形式的検証の未来への競争
2025-05-06
TLA+財団とNVIDIAは、生成AIを使用してTLA+仕様言語を改善することを促進するチャレンジを開始しました。参加者は、コードのリファクタリング、開発ツールの作成、視覚化の生成、さらには仕様の合成にAIを使用できます。審査員は、機能性、TLA+エコシステムへの関連性、AIの革新的な使用方法に基づいて応募作品を評価します。すべての応募作品はオープンソースで、再現可能でなければならず、プロトタイプで十分です。このチャレンジは、TLA+における生成AIの可能性を探求し、コミュニティを活性化することを目的としています。
続きを読む
開発