Masuk
wawasan - プログラム合成
線形方程式の簡潔な数学的解決策を生成するドメイン固有言語「MathDSL」
MathDSLは、プログラム合成モデルを使用して、強化学習ベースの手法を上回る線形方程式の解決策を生成する。また、数学的解決策の簡潔さを測る定量的指標を導入し、他の手法と比較して生成された解決策の質の向上を示す。
オフラインアルゴリズムからオンラインアルゴリズムを自動生成する
オフラインアルゴリズムからオンラインアルゴリズムを自動的に合成する新しい手法を提案する。この手法は、関係関数シグネチャ(RFS)の概念に基づいており、オフラインアルゴリズムからオンラインアルゴリズムを導出することができる。
LLMの順位が常に最高の実装力を表すわけではない
既存のベンチマークは、LLMのプログラム合成能力を十分に測れていない可能性がある。
大規模言語モデルを用いた列挙型プログラム合成のガイド
LLMと列挙アルゴリズムの統合により、形式的プログラム合成の性能向上が可能である。
プログラム合成器のための生成的説明
プログラム合成器における適切な関数名は理解を助ける。
Tentang
Produk | Sumber Daya
© 2024 by Linnk AI