「D.2.4」カテゴリーアーカイブ

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

投稿日: 2024年12月19日作成者: jarxiv

要約 Coq などの証明アシスタントを使用した形式的検証により、高品質のソフトウ … 続きを読む →

カテゴリー: cs.AI, cs.SE, D.2.4 | コメントする

投稿日: 2024年12月5日作成者: jarxiv

要約 SAT ソルバーや同様のツールによって具体化されるモデル検索は、埋め込み設 … 続きを読む →

カテゴリー: cs.CL, cs.PL, D.2.4 | コメントを受け付けていません

投稿日: 2024年10月16日作成者: jarxiv

要約グラフニューラルネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | コメントを受け付けていません

投稿日: 2024年9月26日作成者: jarxiv

要約グラフニューラルネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | コメントを受け付けていません

投稿日: 2024年8月27日作成者: jarxiv

要約古典的な反応性合成アプローチは、常に指定された仕様を満たす反応性システムを … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | コメントを受け付けていません

投稿日: 2024年7月15日作成者: jarxiv

要約グラフニューラルネットワークは、グラフ構造のデータを処理するように特別 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LG, D.2.4 | コメントを受け付けていません