Fugu-MT 論文翻訳(概要): Geometry of Program Synthesis

論文の概要: Geometry of Program Synthesis

arxiv url: http://arxiv.org/abs/2103.16080v1
Date: Tue, 30 Mar 2021 05:14:15 GMT
ステータス: 処理完了
システム内更新日: 2021-03-31 15:08:19.485356
Title: Geometry of Program Synthesis
Title（参考訳）: プログラム合成の幾何学
Authors: James Clift, Daniel Murfet, James Wallbridge
Abstract要約: チューリング機械の合成に基づく普遍計算の再評価を行う。これはプログラムを解析多様体の特異点として、あるいは同値に合成問題のベイズ後方の位相として見ることに繋がる。
参考スコア（独自算出の注目度）: 4.83420384410068
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We re-evaluate universal computation based on the synthesis of Turing machines. This leads to a view of programs as singularities of analytic varieties or, equivalently, as phases of the Bayesian posterior of a synthesis problem. This new point of view reveals unexplored directions of research in program synthesis, of which neural networks are a subset, for example in relation to phase transitions, complexity and generalisation. We also lay the empirical foundations for these new directions by reporting on our implementation in code of some simple experiments.
Abstract（参考訳）: チューリング機械の合成に基づく普遍計算の再評価を行う。これはプログラムを解析多様体の特異点として、あるいは同値に合成問題のベイズ後方の位相として見ることに繋がる。この新たな視点は、例えば相転移、複雑性、一般化に関して、ニューラルネットワークがサブセットであるプログラム合成の研究の未検討の方向性を明らかにする。また、簡単な実験のコードによる実装を報告することで、これらの新しい方向性の実証的な基礎を築きます。

関連論文リスト

Re-evaluating Retrosynthesis Algorithms with Syntheseus [13.384695742156152]
本稿では,Syntheseusと呼ばれる広範なベンチマークフレームワークを備えた合成計画ライブラリを提案する。我々は, 過去のレトロシンセシスアルゴリズムを再評価することにより, 合成能力を示す。この領域における今後の作業に関するガイダンスを最後に、コミュニティに合成計画のベンチマークを改善する方法についての議論を呼びかけます。
論文参考訳（メタデータ） (2023-10-30T17:59:04Z)
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis [54.18659323181771]
プログラム合成において望ましいいくつかの異なる構成一般化形式を特徴付ける。本稿では,ExeDecを提案する。ExeDecは,実行サブゴールを予測し,各ステップでプログラム実行によって段階的に通知される問題を解くための,新しい分解ベースの戦略である。
論文参考訳（メタデータ） (2023-07-26T01:07:52Z)
A Divide-Align-Conquer Strategy for Program Synthesis [8.595181704811889]
本稿では,大規模プログラムの探索を複数の小さなプログラム合成問題に分割する例によって,構成セグメント化がプログラミングに応用可能であることを示す。入力と出力における構成部品の構造的アライメントは、プログラム探索を導くのに使用されるペアワイズ対応に繋がる。
論文参考訳（メタデータ） (2023-01-08T19:10:55Z)
FusionRetro: Molecule Representation Fusion via In-Context Learning for Retrosynthetic Planning [58.47265392465442]
再合成計画(Retrosynthetic Planning)は、開始物質から標的分子への完全な多段階合成経路を考案することを目的としている。現在の戦略では、単一ステップの逆合成モデルと探索アルゴリズムの分離されたアプローチを採用している。本稿では,文脈情報を利用した新しいフレームワークを提案する。
論文参考訳（メタデータ） (2022-09-30T08:44:58Z)
Compositional Generalization and Decomposition in Neural Program Synthesis [59.356261137313275]
本稿では,学習プログラムシンセサイザーの合成一般化能力の測定に焦点をあてる。まず、プログラム合成法が一般化されるであろういくつかの異なる軸を特徴付ける。 2つの一般的な既存のデータセットに基づいて、これらの能力を評価するためのタスクのベンチマークスイートを導入する。
論文参考訳（メタデータ） (2022-04-07T22:16:05Z)
Scaling Neural Program Synthesis with Distribution-based Search [7.137293485620867]
本稿では,ヒープ検索とSQRTサンプリングという2つの新しい検索アルゴリズムを紹介する。確率的およびニューラルなテクニックとどのように統合され、並列計算環境をまたいで大規模に動作可能であるかを示す。
論文参考訳（メタデータ） (2021-10-24T16:46:01Z)
Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages [97.58968222942173]
入力出力の例からCプログラムを合成する第一歩を踏み出す。特に,部分生成プログラムの実行を近似するために潜在表現を学習するLa Synthを提案する。これらのプログラムのトレーニングにより,Karel と C のプログラム合成における予測性能がさらに向上することを示す。
論文参考訳（メタデータ） (2021-06-29T02:21:32Z)
Toward Neural-Network-Guided Program Synthesis and Verification [26.706421573322952]
ニューラルネットワーク誘導合成という,プログラムと不変合成の新しい枠組みを提案する。まず、ニューラルネットワークの設計とトレーニングによって、訓練されたニューラルネットワークの重みとバイアスから整数上の論理式を抽出できることを示します。この考え方に基づき、正負の例と含意制約から公式を合成するツールを実装した。
論文参考訳（メタデータ） (2021-03-17T03:09:05Z)
RetroXpert: Decompose Retrosynthesis Prediction like a Chemist [60.463900712314754]
そこで我々は, テンプレートフリーな自動逆合成拡張アルゴリズムを考案した。我々の方法はレトロシンセシスを2段階に分解する。最先端のベースラインよりも優れている一方で、我々のモデルは化学的に合理的な解釈も提供する。
論文参考訳（メタデータ） (2020-11-04T04:35:34Z)
Creating Synthetic Datasets via Evolution for Neural Program Synthesis [77.34726150561087]
いくつかのプログラム合成手法は、ランダムに生成された例と異なるデータ分布によく一般化されていることを示す。本稿では, 合成データ分布のバイアスを制御し, 現在の手法より優れていることを示すための, 新たな敵対的手法を提案する。
論文参考訳（メタデータ） (2020-03-23T18:34:15Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。