論文の概要: Proceedings 8th International Workshop on Theorem Proving Components for
Educational Software
- arxiv url: http://arxiv.org/abs/2002.11895v1
- Date: Thu, 27 Feb 2020 03:10:08 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-28 09:08:43.588108
- Title: Proceedings 8th International Workshop on Theorem Proving Components for
Educational Software
- Title(参考訳): 第8回教育用ソフトウェアの定理証明コンポーネントに関する国際ワークショップ
- Authors: Pedro Quaresma (University of Coimbra, Portugal), Walther Neuper (Graz
University of Technology, Austria), Jo\~ao Marcos (UFRN, Brazil)
- Abstract要約: この巻は、2019年8月25日にブラジルのナタールで行われたCADE-27の衛星イベントとして宣伝されたセドゥ19ワークショップの手続きを含んでいる。
Theduシリーズの8番目の導入を代表して、Sarah Winkler氏による招待講演、4つのコントリビューション、Geometry Automated Provers Competitionの第1版が開催された。
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるよりフォーマルなアプローチへのスムーズな移行を追求する一方で、定理証明の力を活用して、この移行に対するソフトウェアサポートを好んでいる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted
on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil.
Representing the eighth installment of the ThEdu series, ThEdu'19 was a vibrant
workshop, with an invited talk by Sarah Winkler, four contributions, and the
first edition of a Geometry Automated Provers Competition. After the workshop
an open call for papers was issued and attracted seven submissions, six of
which have been accepted by the reviewers, and collected in the present
post-proceedings volume.
The ThEdu series pursues the smooth transition from an intuitive way of doing
mathematics at secondary school to a more formal approach to the subject in
STEM education, while favoring software support for this transition by
exploiting the power of theorem-proving technologies.
The volume editors hope that this collection of papers will further promote
the development of theorem-proving-based software, and that it will collaborate
on improving mutual understanding between computer mathematicians and
stakeholders in education.
- Abstract(参考訳): このEPTCSの巻には、2019年8月25日にブラジルのナタールで行われたCADE-27の衛星イベントとして宣伝されたThEdu'19ワークショップの手続きが含まれている。
Theduシリーズの8番目の導入を代表して、Sarah Winkler氏による招待講演、4つのコントリビューション、Geometry Automated Provers Competitionの第1版が開催された。
ワークショップの後、公募が発行され、7件の提出書が寄せられ、そのうち6件が審査員によって受理され、現在発行後巻にまとめられている。
セドゥ級数(Thedu series)は、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求する一方で、定理証明技術の力を活用して、この移行に対するソフトウェアサポートを支持する。
巻の編集者は、この論文集が定理に基づくソフトウェアの開発をさらに促進し、コンピュータ数学者と教育ステークホルダーの相互理解の改善に協力することを望んでいる。
関連論文リスト
- Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective [90.86370957353911]
CoR(Chain-of-Reasoning)は、複数の推論パラダイムを統合する新しい統合フレームワークである。
CoRは異なる推論パラダイムを用いて複数の潜在的な答えを生成し、それらをコヒーレントな最終解へと合成する。
実験の結果,CoR-Math-7Bは現在のSOTAモデルより有意に優れていた。
論文 参考訳(メタデータ) (2025-01-19T16:53:26Z) - Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
我々は公式な数学的推論を提唱し、AI4Mathを次のレベルに進めるには不可欠であると主張している。
既存の進捗を要約し、オープンな課題について議論し、将来の成功を測るための重要なマイルストーンを想定します。
論文 参考訳(メタデータ) (2024-12-20T17:19:24Z) - Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry [68.97388926441971]
材料科学・化学分野における応用のための第二大言語モデル(LLM)ハッカソンの結果について述べる。
このイベントは、グローバルなハイブリッドな場所を巡って参加者が参加し、34チームが応募した。
提出は7つの主要なアプリケーション領域にまたがって行われ、アプリケーションのためのLLMの多種多様な実用性を実証した。
論文 参考訳(メタデータ) (2024-11-20T23:08:01Z) - Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement [71.46993852662021]
Qwen2.5-Math と Qwen2.5-Math-Instruct-1.5B/7B/72B である。
Qwen2.5-Math-Instructは中国語と英語の両方をサポートし、高度な数学的推論能力を持っている。
論文 参考訳(メタデータ) (2024-09-18T16:45:37Z) - Building Math Agents with Multi-Turn Iterative Preference Learning [56.71330214021884]
本稿では,モデル性能をさらに向上させるために,補完的な直接選好学習手法について検討する。
既存の直接選好学習アルゴリズムは、もともとシングルターンチャットタスク用に設計されている。
この文脈に合わせたマルチターン直接選好学習フレームワークを提案する。
論文 参考訳(メタデータ) (2024-09-04T02:41:04Z) - DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data [65.5290035371111]
本稿では,高校・学部レベルの数学競争問題から得られたリーン4証明データを生成する手法を提案する。
この合成データセットでDeepSeekMath 7Bモデルを微調整します。
我々のモデルは、Lean 4 Formalized International Mathematical Olympiad (FIMO)ベンチマークで148の問題を5つ証明しましたが、GPT-4は証明できませんでした。
論文 参考訳(メタデータ) (2024-05-23T09:03:42Z) - Proceedings 12th International Workshop on Theorem proving components for Educational software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
ThEdu'23は非常に成功し、Yves Bertot(フランス、イリア)の講演で「型理論を使って数学を教えることの課題」と7つの定期的な貢献があった。
私たちのレビュアーは7件の提出を受諾し、各コントリビューションについて少なくとも3件の注意深いレポートを共同で作成しました。
論文 参考訳(メタデータ) (2024-04-04T11:51:26Z) - Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software [0.0]
ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
Thedu'22は活気あるワークショップで、Thierry Dana-Picard氏とYoni Zohar氏による2つの講演が招待された。
改訂版は本巻に収録されている。
論文 参考訳(メタデータ) (2023-03-09T16:10:13Z) - Proceedings End-to-End Compositional Models of Vector-Based Semantics [0.0]
ワークショップは「オランダ語をローカライゼーションしたベクトルベースセマンティックモデリングのための合成計算」研究プロジェクトによって後援された。
本編では、寄稿した論文と招待された講演の要約をまとめた。
論文 参考訳(メタデータ) (2022-08-10T12:50:12Z) - Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software [0.0]
ThEdu'21は活気あるワークショップであり、Giles Dowek (ENS Paris-Saclay) による招待講演、11のコントリビューション、1つのデモが行われた。
Theduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
論文 参考訳(メタデータ) (2022-02-02T05:48:14Z) - Proceedings 9th International Workshop on Theorem Proving Components for
Educational Software [0.0]
第9回Theorem-Proving Components for Educational Software (ThEdu'20)国際ワークショップは6月29日にパリで開催されたIJCAR-FSCD 2020合同会議の衛星として開催される予定だった。
新型コロナウイルス(COVID-19)のパンデミックが驚き、メインカンファレンスは仮想化された。オンラインミーティングによって、私たちのコミュニティが、ThEduイニシアチブの通常の対面ネットワークの機会を完全に再現できないことに気付き、ThEduの運営委員会は、ワークショップを中止することを決定した。
私たちの多くがその瞬間に計画し、仕事をしていたことを考えれば、私たちはその決定を下しました。
論文 参考訳(メタデータ) (2020-10-28T00:36:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。