論文の概要: Geometry of Tensors: Open problems and research directions
- arxiv url: http://arxiv.org/abs/2304.10570v1
- Date: Thu, 20 Apr 2023 18:01:04 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-24 16:52:25.039681
- Title: Geometry of Tensors: Open problems and research directions
- Title(参考訳): テンソルの幾何学:オープン問題と研究方向
- Authors: Fulvio Gesmundo
- Abstract要約: ポーランド科学アカデミー数学研究所(IMPAN)およびワルシャワ大学数学部(MIM UW)2022年9月19日から26日にかけて開催されたAGATES Kickoff Workshopのプレゼンテーションと議論に続くオープンな問題と研究思想のコレクションである。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This is a collection of open problems and research ideas following the
presentations and the discussions of the AGATES Kickoff Workshop held at the
Institute of Mathematics of the Polish Academy of Sciences (IMPAN) and at the
Department of Mathematics of University of Warsaw (MIM UW), September 19-26,
2022.
- Abstract(参考訳): ポーランド科学アカデミー数学研究所(IMPAN)およびワルシャワ大学数学部(MIM UW)2022年9月19日から26日にかけて開催されたAGATES Kickoff Workshopのプレゼンテーションと議論に続くオープンな問題と研究思想のコレクションである。
関連論文リスト
- FineMath: A Fine-Grained Mathematical Evaluation Benchmark for Chinese
Large Language Models [47.560637703675816]
FineMathは、中国語大言語モデル(LLM)を評価するための詳細な数学的評価ベンチマークデータセットである。
FineMathは、小学校数学で教えられる主要な数学的概念をカバーし、数学用語の問題の17のカテゴリに分けられる。
数学の単語問題のうち17のカテゴリは、これらの問題を解決するために必要な推論ステップの数に応じて、難易度を手動でアノテートする。
論文 参考訳(メタデータ) (2024-03-12T15:32:39Z) - MathScale: Scaling Instruction Tuning for Mathematical Reasoning [70.89605383298331]
大規模言語モデル(LLM)は問題解決において顕著な能力を示した。
しかし、数学的な問題を解く能力は依然として不十分である。
高品質な数学的推論データを作成するためのシンプルでスケーラブルな方法であるMathScaleを提案する。
論文 参考訳(メタデータ) (2024-03-05T11:42:59Z) - Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium [71.81297744767885]
第3回ML4Hシンポジウムは2023年12月10日にアメリカ合衆国ルイジアナ州ニューオーリンズで開催された。
ML4H 2022では,11個の個人用ラウンドテーブルと4つの仮想ラウンドテーブルを編成した。
この文書は、医療における機械学習の最近の進歩を要約した総合的なレビュー論文として機能する。
論文 参考訳(メタデータ) (2024-03-03T22:21:58Z) - G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model [124.68242155098189]
大規模言語モデル(LLM)は、人間レベルの推論と生成能力に顕著な習熟性を示している。
G-LLaVAは幾何学的問題の解法において例外的な性能を示し、7Bパラメータしか持たないMathVistaベンチマークにおいて GPT-4-V を著しく上回っている。
論文 参考訳(メタデータ) (2023-12-18T17:36:20Z) - MMMU: A Massive Multi-discipline Multimodal Understanding and Reasoning
Benchmark for Expert AGI [65.05714028679317]
MMMUは、大規模多分野タスクにおけるマルチモーダルモデルを評価するために設計された新しいベンチマークである。
被験者は30名、サブフィールドは183名、画像タイプは30名である。
14のオープンソースLMMとプロプライエタリなGPT-4V(ision)とGeminiの評価は、MMMUがもたらす重大な課題を強調している。
論文 参考訳(メタデータ) (2023-11-27T17:33:21Z) - Notes on a Path to AI Assistance in Mathematical Reasoning [0.0]
これらの非公式なノートは、「AI to Assist Mathematical Reasoning」に関する全米理工学アカデミーおよび数学ワークショップにおける著者の講義に基づいている。
目標は、研究数学者にとって有用なAIにたどり着く道を考えることだ。
論文 参考訳(メタデータ) (2023-10-04T15:35:01Z) - Computer Assisted Proofs and Automated Methods in Mathematics Education [0.0]
数学教育やSTEAM教育の幅広い枠組みにおける意味を示す。
我々は,ブラックボックスとしての利用を避けるため,数学教育の探索・発見・回避スキームへの転換について論じる。
論文 参考訳(メタデータ) (2023-03-10T11:35:50Z) - Challenges and Applications of Automated Extraction of Socio-political
Events from Text (CASE 2022): Workshop and Shared Task Report [1.9964848378974727]
EMNLP 2022の範囲で開催されているCASEワークショップ第5版の概要について述べる。
このワークショップは、技術および社会科学分野にわたるイベント情報収集のあらゆる側面をまとめている。
深層化の進展に加え、マルチモーダルアプローチの提出と受容は、この学際的な研究トピックの拡大を示している。
論文 参考訳(メタデータ) (2022-11-21T11:22:32Z) - Perspectives on Sim2Real Transfer for Robotics: A Summary of the R:SS
2020 Workshop [79.20516797125704]
このレポートでは、2020年版「ロボティクス:科学とシステム」会議と連動して開催されるSim2Realワークショップの議論、ポスター、および議論を紹介します。
フィールドの12のリーダーは、ロボットの問題の文脈でシミュレーションから現実世界にスキルを転送することの定義、実行可能性、および重要性に関する競合する議論のポジションを取りました。
議論者は大きなパネルディスカッションに参加し、聴衆の質問に答え、ロボット工学におけるSim2Realの将来について概説した。
論文 参考訳(メタデータ) (2020-12-07T15:48:26Z) - Measurement in AI Policy: Opportunities and Challenges [0.6120616631746519]
本稿は、2019年秋にスタンフォード大学で行われたワークショップに基づいて、AIシステムの測定における問題と機会とその影響について調査する。
我々は、AIの進歩と影響を測ることに固有の6つの要約課題を特定し、40以上のプレゼンテーションと関連するワークショップの議論を要約する。
論文 参考訳(メタデータ) (2020-09-10T05:37:40Z) - Proceedings 8th International Workshop on Theorem Proving Components for
Educational Software [0.0]
この巻は、2019年8月25日にブラジルのナタールで行われたCADE-27の衛星イベントとして宣伝されたセドゥ19ワークショップの手続きを含んでいる。
Theduシリーズの8番目の導入を代表して、Sarah Winkler氏による招待講演、4つのコントリビューション、Geometry Automated Provers Competitionの第1版が開催された。
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるよりフォーマルなアプローチへのスムーズな移行を追求する一方で、定理証明の力を活用して、この移行に対するソフトウェアサポートを好んでいる。
論文 参考訳(メタデータ) (2020-02-27T03:10:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。