Fugu-MT 論文翻訳(概要): A combinatorial conjecture from PAC-Bayesian machine learning

論文の概要: A combinatorial conjecture from PAC-Bayesian machine learning

arxiv url: http://arxiv.org/abs/2006.01387v2
Date: Thu, 4 Jun 2020 21:02:29 GMT
ステータス: 処理完了
システム内更新日: 2022-11-25 23:53:50.045873
Title: A combinatorial conjecture from PAC-Bayesian machine learning
Title（参考訳）: PAC-Bayesian 機械学習による組合せ予想
Authors: M. Younsi, A. Lacasse
Abstract要約: 第二著者のPh.D.論文からの予想の証明を示す。この証明は二項和と多項和の恒等性に依存する。 PAC-Bayesian 機械学習の文脈における予測の関連性について論じる。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We present a proof of a combinatorial conjecture from the second author's Ph.D. thesis. The proof relies on binomial and multinomial sums identities. We also discuss the relevance of the conjecture in the context of PAC-Bayesian machine learning.
Abstract（参考訳）: 2番目の著者のPh.D.論文からの組合せ予想の証明を示す。証明は二項と多項の和が同一性に依存する。また、PAC-ベイジアン機械学習の文脈における予測の関連性についても論じる。

関連論文リスト

Learning Formal Mathematics From Intrinsic Motivation [34.986025832497255]
ミニモ(Minimo)は、自分自身に問題を起こし、それを解決することを学ぶエージェント(理論実証)である。制約付き復号法と型指向合成法を組み合わせて、言語モデルから有効な予想をサンプリングする。我々のエージェントは、ハードだが証明可能な予想を生成することを目標としています。
論文参考訳（メタデータ） (2024-06-30T13:34:54Z)
Machine Learning of the Prime Distribution [49.84018914962972]
素数の可学習性に関するヤン・フイ・ヘの実験的な観察を説明する理論的論証を提供する。我々はまた、ErdHos-Kac法が現在の機械学習技術によって発見される可能性は極めて低いと仮定している。
論文参考訳（メタデータ） (2024-03-19T09:47:54Z)
Mathematical conjecture generation using machine intelligence [0.0]
f の型 f の厳密な不等式に焦点をあて、それらをベクトル空間に関連付ける。我々は、この多様体の線型自己同型を研究することによって、この予想空間の構造的理解を発展させる。幾何勾配勾配を用いた新しい予想を生成するアルゴリズムパイプラインを提案する。
論文参考訳（メタデータ） (2023-06-12T17:58:38Z)
Find a witness or shatter: the landscape of computable PAC learning [63.26015736148707]
本稿では,最近の3つのオープンな質問を解き,CPAC学習可能性の研究に寄与する。まず,全てのCPAC学習可能なクラスが,サンプルの複雑さで適切なCPAC学習が可能なクラスに含まれることを証明した。第二に、適切に学習できるが、計算不能に急速に増加するサンプルの複雑さに限り、決定可能な仮説のクラスが存在することを示す。
論文参考訳（メタデータ） (2023-02-06T02:52:36Z)
Connes implies Tsirelson: a simple proof [91.3755431537592]
コンヌ埋め込み問題は同期的ツィレルソン予想を意味することを示す。また、コンネスの代数 $mathcalRomega$ の異なる構成もコンネス埋め込み問題に現れる。
論文参考訳（メタデータ） (2022-09-16T13:59:42Z)
Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric Perceptron [21.356438315715888]
我々は、ニューラルネットワークの単純なモデルである対称バイナリパーセプトロンモデルを検討する。このモデルのためのいくつかの予想を確立する。この証明手法は,小さなグラフ条件付け手法の密な反部分に依存する。
論文参考訳（メタデータ） (2021-02-25T18:39:08Z)
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge [0.0]
Prove-ItはPythonベースの汎用的対話型定理証明アシスタントである。 Prove-ItはフレキシブルなJupyterノートブックベースのユーザーインターフェイスを使って、対話や証明の手順を文書化している。現在の開発と今後の研究には、量子回路操作と量子アルゴリズム検証への有望な応用が含まれている。
論文参考訳（メタデータ） (2020-12-20T18:15:12Z)
Investigation of the PPT Squared Conjecture for High Dimensions [0.0]
M. Christandl が導入した正の偏移2乗予想を示す。我々は、2つの新しいアプローチ(量子チャネルの分解と構成)と、この予想に対する反例を見つけるためのいくつかのスキームを提供する。
論文参考訳（メタデータ） (2020-10-27T16:26:57Z)
Counterexamples to the Low-Degree Conjecture [80.3668228845075]
ホプキンスの予想は、ある高次元仮説テスト問題に対して、非時間アルゴリズムはいわゆる「単純な統計」よりも優れていると仮定する。この予想は、統計対計算のトレードオフを理解しようとする最近の研究のラインを囲む信念を定式化する。
論文参考訳（メタデータ） (2020-04-17T21:08:11Z)
On the complex behaviour of the density in composite quantum systems [62.997667081978825]
本研究では, 複合フェルミオン系における粒子の存在確率について検討した。非摂動特性であることが証明され、大/小結合定数双対性を見出す。 KAM定理の証明に触発されて、これらの小さな分母を排除したエネルギーのカットオフを導入することで、この問題に対処できる。
論文参考訳（メタデータ） (2020-04-14T21:41:15Z)
A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文参考訳（メタデータ） (2019-09-04T11:46:26Z)

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