Fugu-MT 論文翻訳(概要): Automated Mathematics and the Reconfiguration of Proof and Labor

論文の概要: Automated Mathematics and the Reconfiguration of Proof and Labor

arxiv url: http://arxiv.org/abs/2309.11457v1
Date: Wed, 20 Sep 2023 16:46:52 GMT
ステータス: 処理完了
システム内更新日: 2023-09-21 15:32:26.815448
Title: Automated Mathematics and the Reconfiguration of Proof and Labor
Title（参考訳）: 自動数学と証明と労働の再構成
Authors: Rodrigo Ochigame
Abstract要約: このエッセイは、自動化が将来どのように数学的証明と労働を再構成したかを考察する。それは、研究における顕著な自動化形態を区別し、繰り返し起こる仮定の批判を提供し、自動化が労働と信用の経済をどう変えるかを問う。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes between prominent forms of automation in research, provides critiques of recurring assumptions, and asks how automation might reshape economies of labor and credit.
Abstract（参考訳）: このエッセイでは、自動化が数学的証明と労力をどのように再構成したのか、将来何が起こるのかを考察する。実証の実用的な基準、研究における顕著な自動化形態の区別、繰り返し仮定に対する批判、そして自動化が労働と信用の経済をどのように作り直すかを問う。

関連論文リスト

Automating the Practice of Science -- Opportunities, Challenges, and Implications [48.54225838534946]
本稿では、科学的実践における自動化のスコープを評価し、最近のアプローチを評価する。自動科学の背景にあるモチベーションについて議論し、遭遇したハードルを分析し、その影響を調査し、この記事では、研究者、政策立案者、ステークホルダーに、自動化科学の実践のフロンティアをナビゲートするよう依頼する。
論文参考訳（メタデータ） (2024-08-27T15:51:31Z)
AutoSurvey: Large Language Models Can Automatically Write Surveys [77.0458309675818]
本稿では,総合的な文献調査を自動作成する手法であるAutoSurveyを紹介する。従来の調査論文は、膨大な量の情報と複雑さのために、課題に直面している。我々の貢献には、調査問題に対する総合的な解決策、信頼性評価方法、AutoSurveyの有効性を実証する実験的な検証が含まれる。
論文参考訳（メタデータ） (2024-06-10T12:56:06Z)
Automated Planning Techniques for Elementary Proofs in Abstract Algebra [5.379968204052965]
抽象代数学における基本証明を構築するための計画法について検討する。我々は、決定論的領域と非決定論的領域の両方において、基本的な意味、平等、および規則を実装している。この初期実装の成功は、自動計画で見られる確立されたテクニックが、比較的新しい自動定理証明分野に適用可能であることを示唆している。
論文参考訳（メタデータ） (2023-12-11T16:17:43Z)
Rubric-Specific Approach to Automated Essay Scoring with Augmentation Training [0.1227734309612871]
本稿では,従来の研究で見過ごされた機能や特徴を学習するために,自動スコアリングモデルの訓練とテストを行う一連のデータ拡張操作を提案する。自動学生評価賞(Automated Students Assessment Prize)データセットにおいて,最先端のパフォーマンスを達成した。
論文参考訳（メタデータ） (2023-09-06T05:51:19Z)
Benchmarking Automated Machine Learning Methods for Price Forecasting Applications [58.720142291102135]
自動機械学習(AutoML)ソリューションで手作業で作成したMLパイプラインを置換する可能性を示す。 CRISP-DMプロセスに基づいて,手動MLパイプラインを機械学習と非機械学習に分割した。本稿では、価格予測の産業利用事例として、ドメイン知識とAutoMLを組み合わせることで、ML専門家への依存が弱まることを示す。
論文参考訳（メタデータ） (2023-04-28T10:27:38Z)
Being Automated or Not? Risk Identification of Occupations with Graph Neural Networks [13.092145058320316]
人工知能(AI)やロボット工学などの自動化技術の急速な進歩は、職業における自動化のリスクを増大させる。最近の社会経済研究は、職業の50%近くが今後10年以内に自動化されるリスクが高いことを示唆している。職業の自動化リスクを特定するために, グラフに基づく半自動分類手法 textbf Automated textbfOccupation textbf Classification を提案する。
論文参考訳（メタデータ） (2022-09-06T02:19:50Z)
A Survey on Automated Fact-Checking [18.255327608480165]
本稿では,自然言語処理によるファクトチェックの自動化について検討し,関連する課題や規律との関係について考察する。既存のデータセットとモデルを概観し、与えられた様々な定義を統一し、共通の概念を識別することを目的としている。
論文参考訳（メタデータ） (2021-08-26T16:34:51Z)
Learning to falsify automated driving vehicles with prior knowledge [1.4610038284393165]
本稿では,シミュレーションにおける自動運転機能の実装をテストするための学習に基づく偽造フレームワークを提案する。シナリオパラメータの分散を制限し、学習プロセスをガイドし、改善するためのモデルベースのファシファイアに事前知識が組み込まれています。
論文参考訳（メタデータ） (2021-01-25T19:51:38Z)
Induction and Exploitation of Subgoal Automata for Reinforcement Learning [75.55324974788475]
本稿では,Regressed Learning (RL)タスクにおけるサブゴールの学習と活用のためのISAを提案する。 ISAは、タスクのサブゴールによってエッジがラベル付けされたオートマトンであるサブゴールオートマトンを誘導することで強化学習をインターリーブする。サブゴールオートマトンはまた、タスクの完了を示す状態と、タスクが成功せずに完了したことを示す状態の2つの特別な状態で構成されている。
論文参考訳（メタデータ） (2020-09-08T16:42:55Z)
Generative Language Modeling for Automated Theorem Proving [94.01137612934842]
この研究は、自動定理プロバーの人間に対する大きな制限が言語モデルから生成することで対処できる可能性によって動機づけられている。本稿ではメタマス形式化言語のための自動証明と証明アシスタント GPT-f を提案し,その性能を解析する。
論文参考訳（メタデータ） (2020-09-07T19:50:10Z)
Generating Fact Checking Explanations [52.879658637466605]
まだ欠けているパズルの重要なピースは、プロセスの最も精巧な部分を自動化する方法を理解することです。本稿では、これらの説明を利用可能なクレームコンテキストに基づいて自動生成する方法について、最初の研究を行う。この結果から,個別に学習するのではなく,両目標を同時に最適化することで,事実確認システムの性能が向上することが示唆された。
論文参考訳（メタデータ） (2020-04-13T05:23:25Z)

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