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

論文の概要: Infomathic

arxiv url: http://arxiv.org/abs/2308.14406v1
Date: Mon, 28 Aug 2023 08:40:28 GMT
ステータス: 処理完了
システム内更新日: 2023-08-29 14:52:53.348967
Title: Infomathic
Title（参考訳）: 情報マス
Authors: Karim Zayana (M.E.N.E.S.R., COMELEC), R\'egis Queruel, Pierre Michalak
Abstract要約: コンピュータツールは、近似法を実装するか、現象をシミュレートするかにかかわらず、数学者をしばしばサポートしてきた。コンピューティングは、特定の推論を刺激したり、デモンストレーションの全セクションを担当することによって、数学の原因にも役立ちます。私たちはこの実りあるパートナーシップを、高校からアクセスできない2つの例で説明します。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Since its existence, the computer tool has often supported mathematicians, whether it is to implement an approximation method (numerical calculation of a root, of an integral, ...) or to simulate a phenomenon (geometric in nature, probabilistic, ...) to verify or establish a conjecture. But, and this is another point on which we will concentrate our attention here, computing will also have served the cause of mathematics by inspiring certain reasoning or by taking charge of whole sections of a demonstration. We will illustrate this fruitful partnership with two example saccessible from high school.
Abstract（参考訳）: その存在以来、コンピュータツールは、近似法(積分の根の数値計算、...)を実装するか、あるいは現象(自然の幾何学的、確率論的、...)をシミュレートして予想を検証または確立するか、数学者を支援してきた。しかし、これは私たちがここで注意を集中する別のポイントであり、コンピューティングは特定の推論を刺激したり、デモンストレーションの全セクションを担当することによって、数学の原因にも役立ちます。私たちはこの実りあるパートナーシップを、高校からアクセスできない2つの例で説明します。

関連論文リスト

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning [85.635988711588]
我々は,大規模言語モデルの能力向上には,数学的データセットの設計におけるパラダイムシフトが必要であると論じる。 1949年にG. P'olyaが導入した「動機付き証明」の概念は、より良い証明学習信号を提供するデータセットの青写真として機能する。数学データセットに特化して設計されたアンケートでは、クリエーターにデータセットを含めるよう促します。
論文参考訳（メタデータ） (2024-12-19T18:55:17Z)
Machine learning and information theory concepts towards an AI Mathematician [77.63761356203105]
人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
論文参考訳（メタデータ） (2024-03-07T15:12:06Z)
Abstraction boundaries and spec driven development in pure mathematics [0.0]
本稿では,抽象境界が数学的研究の複雑さにどのように貢献するかを論じる。対話的定理証明器の使用は、これらの概念の実装にさらなる質的な利点をもたらすと論じる。
論文参考訳（メタデータ） (2023-09-26T11:59:32Z)
A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文参考訳（メタデータ） (2022-12-20T18:46:16Z)
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression [127.68780714438103]
計算と証明の2つの主要な幾何学問題は、通常2つの特定のタスクとして扱われる。我々は4,998の計算問題と9,543の証明問題を含むUniGeoという大規模統一幾何問題ベンチマークを構築した。また,複数タスクの幾何変換フレームワークであるGeoformerを提案し,計算と証明を同時に行う。
論文参考訳（メタデータ） (2022-12-06T04:37:51Z)
Symmetry Group Equivariant Architectures for Physics [52.784926970374556]
機械学習の分野では、対称性に対する認識が目覚ましいパフォーマンスのブレークスルーを引き起こしている。物理学のコミュニティと、より広い機械学習のコミュニティの両方に、理解すべきことがたくさんある、と私たちは主張する。
論文参考訳（メタデータ） (2022-03-11T18:27:04Z)
Open Geometry Prover Community Project [0.0]
Open Geometry Prover Community Projectは、共通な"umbrella"の下で、幾何自動定理プロバーの開発のための様々な取り組みを統合することを目的としている。本稿では、そのような統合に必要なステップと、これらのステップの現在の実装について説明する。
論文参考訳（メタデータ） (2022-01-03T09:27:23Z)
Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes [0.5874142059884521]
本稿では,数学が基本的な過程である数学的推論の計算モデルを提案する。この枠組みが数学的実践のいくつかの側面について説得力のある説明を与えることを示す。
論文参考訳（メタデータ） (2020-10-28T19:43:14Z)
Graphical Calculi and their Conjecture Synthesis [0.0]
この論文は、図形学と代数幾何学やガロア理論のような分野の間の新しいリンクを鍛える際に、そのような推論と検証の枠組みを導入している。計算 RING は環をベースとした四角形電卓の中では初期であり、相準同型ペアの導入と分類にもインスピレーションを与えている。 2つ目は、ZX の (EU) のような非線形規則の必要性を排除し、任意の量子ビット回転を自然に表現するエッジデコレーションされた電卓 ZQ である。
論文参考訳（メタデータ） (2020-10-08T11:54:44Z)
Machine Number Sense: A Dataset of Visual Arithmetic Problems for Abstract and Relational Reasoning [95.18337034090648]
文法モデルを用いて自動生成される視覚的算術問題からなるデータセット、MNS(Machine Number Sense)を提案する。これらの視覚的算術問題は幾何学的フィギュアの形をしている。我々は、この視覚的推論タスクのベースラインとして、4つの主要なニューラルネットワークモデルを用いて、MNSデータセットをベンチマークする。
論文参考訳（メタデータ） (2020-04-25T17:14:58Z)

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