Fugu-MT 論文翻訳(概要): Mathematical Explanations

論文の概要: Mathematical Explanations

arxiv url: http://arxiv.org/abs/2402.09413v1
Date: Sun, 31 Dec 2023 17:07:28 GMT
ステータス: 処理完了
システム内更新日: 2024-02-18 13:15:20.270930
Title: Mathematical Explanations
Title（参考訳）: 数学的説明
Authors: Joseph Y. Halpern
Abstract要約: すべての数学的事実はすべての因果モデルで真でなければならないので、数学的事実は説明の一部にはならない。この問題は不可能な世界によって解決される。
参考スコア（独自算出の注目度）: 13.461575553902023
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: A definition of what counts as an explanation of mathematical statement, and when one explanation is better than another, is given. Since all mathematical facts must be true in all causal models, and hence known by an agent, mathematical facts cannot be part of an explanation (under the standard notion of explanation). This problem is solved using impossible possible worlds.
Abstract（参考訳）: 数学的ステートメントの説明として数えられるものの定義があり、ある説明が他の説明より優れている場合は与えられる。すべての数学的事実はすべての因果モデルにおいて真でなければならず、従ってエージェントによって知られているので、数学的事実は(説明の標準的な概念の下で)説明の一部にはならない。この問題は不可能可能な世界を使って解決される。

関連論文リスト

Machine learning and information theory concepts towards an AI Mathematician [77.63761356203105]
人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
論文参考訳（メタデータ） (2024-03-07T15:12:06Z)
MathScale: Scaling Instruction Tuning for Mathematical Reasoning [70.89605383298331]
大規模言語モデル(LLM)は問題解決において顕著な能力を示した。しかし、数学的な問題を解く能力は依然として不十分である。高品質な数学的推論データを作成するためのシンプルでスケーラブルな方法であるMathScaleを提案する。
論文参考訳（メタデータ） (2024-03-05T11:42:59Z)
Do Models Explain Themselves? Counterfactual Simulatability of Natural Language Explanations [62.61495090463084]
大規模言語モデル(LLM)は、人間の決定を説明するために人間を模倣するために訓練されている。そこで本研究では,人間による多種多様なファクトファクトに対して,モデルの出力を正確に推定できるかどうかを検証した。 LLMの説明は精度が低く、精度は妥当性と相関しないことがわかった。
論文参考訳（メタデータ） (2023-07-17T17:41:47Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Connes implies Tsirelson: a simple proof [91.3755431537592]
コンヌ埋め込み問題は同期的ツィレルソン予想を意味することを示す。また、コンネスの代数 $mathcalRomega$ の異なる構成もコンネス埋め込み問題に現れる。
論文参考訳（メタデータ） (2022-09-16T13:59:42Z)
Eliminating The Impossible, Whatever Remains Must Be True [46.39428193548396]
より簡潔な「なぜ」形式的な説明をするために背景知識を適用する方法を示す。また,既存のルール誘導手法を用いて,データセットから背景情報を効率的に抽出する方法を示す。
論文参考訳（メタデータ） (2022-06-20T03:18:14Z)
Finite mathematics as the most general (fundamental) mathematics [0.0]
標数$p$の有限環に基づく量子理論は、標準量子論よりも一般である、なぜなら後者は形式的な極限$ptoinfty$における前者の退化の場合であるからである。
論文参考訳（メタデータ） (2022-03-09T18:46:57Z)
On Relating 'Why?' and 'Why Not?' Explanations [28.87208020322193]
機械学習(ML)モデルの説明は、しばしば「なぜ」に対処する。質問だ最近の研究は「なぜそうでないのか」という説明を調査している。質問だ本稿では,「なぜ」の厳密な関係を確立する。と「なぜないのですか? 説明だ
論文参考訳（メタデータ） (2020-12-21T01:07:13Z)
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes [0.5874142059884521]
本稿では,数学が基本的な過程である数学的推論の計算モデルを提案する。この枠組みが数学的実践のいくつかの側面について説得力のある説明を与えることを示す。
論文参考訳（メタデータ） (2020-10-28T19:43:14Z)
A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics? [1.384477926572109]
このエッセイは、無限の楽園で睡眠ウォーキングをしている数学者のヒードを練習するためのものです。数学の多くの分野は、(i)無限個の要素を含む対象の「存在」、(ii)任意の精度で計算する能力、「理論」、または(iii)任意の数の時間ステップを計算する能力「理論」に依存している。
論文参考訳（メタデータ） (2020-09-14T14:44:08Z)

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