論文の概要: Proceedings The 13th International Workshop on Theorem proving components for Educational software
- arxiv url: http://arxiv.org/abs/2505.04677v1
- Date: Wed, 07 May 2025 11:30:54 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-05-09 21:43:49.628021
- Title: Proceedings The 13th International Workshop on Theorem proving components for Educational software
- Title（参考訳）: 第13回The 13th International Workshop on Theorem Proving Components for Educational Softwareに参加して
- Authors: Julien Narboux, Walther Neuper, Pedro Quaresma,
- Abstract要約: ThEduシリーズは、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求している。
この巻の論文はテドゥの広いスペクトルの忠実な表現である。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: 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. What follows is a brief description of how the present volume contributes to this enterprise. The 13th International Workshop on Theorem Proving Components for Educational Software (ThEdu'24), was a satellite event of the CADE29, part of IJCAR 2024, Nancy, France. ThEdu'24 was a vibrant workshop, with one invited talk by Jeremy Avigad (Carnegie Mellon University) and 14 submitted talks. An open call for papers was then issued and attracted 9 submissions. Eight of those submissions have been accepted by our reviewers. The resulting revised papers are collected in the present volume. The contributions in this volume are a faithful representation of the wide spectrum of ThEdu, ranging from those more focused on the automated deduction research, not losing track of the possible applications in an educational setting, to those focused on the applications, in educational settings, of automated deduction tools and methods. We, the volume editors, hope that this collection of papers will further promote the development of theorem-proving-based software and that it will allow to improve the mutual understanding between computer scientists, mathematicians, and stakeholders in education. While this volume goes to press, the next edition of the ThEdu workshop is being prepared: ThEdu'25 will be a satellite event of the 30th international Conference on Automated DEduction (CADE-30), July 28th - August 2nd, 2025, Stuttgart, Germany.
- Abstract（参考訳）: セドゥ級数(Thedu series)は、中等教育における数学の直感的な方法から、STEM教育におけるより形式的なアプローチへのスムーズな移行を追求し、定理証明技術の力を活用して、この移行に対するソフトウェアサポートを好んでいる。
以下は、この事業にどのように貢献するかの簡単な説明である。
第13回the 13th International Workshop on Theorem Proving Components for Educational Software (ThEdu'24)はフランスのナンシーにあるIJCAR 2024の一部であるCADE29の衛星イベントである。
ThEdu'24は活気あるワークショップで、Jeremy Avigad(カーネギーメロン大学)の招待講演と14の講演が行われた。
その後、公募が発行され、9件の論文が寄せられた。
うち8件が審査員によって受理されました。
改訂版は本巻に収録されている。
この巻のコントリビューションはThEduの幅広い範囲の忠実な表現であり、自動化推論の研究に焦点を絞ったもの、教育環境での可能な応用の追跡を失わないもの、教育環境における応用、自動推論ツールや方法の応用に焦点を絞ったもの、などである。
我々は,この論文集が,定理に基づくソフトウェアの開発をさらに促進し,コンピュータ科学者,数学者,および教育ステークホルダー間の相互理解を改善することを期待する。
ThEdu'25は、ドイツのシュトゥットガルトで7月28日から8月2日にかけて開催された第30回国際自動推論会議(CADE-30)のサテライトイベントとなる。
関連論文リスト
- Proceedings of 1st Workshop on Advancing Artificial Intelligence through Theory of Mind [69.01047382547794]
この巻には、2025年3月3日にフィラデルフィアで開かれたAAAI 2025で開かれた「心の理論」を通じて、人工知能の進歩に関するワークショップで発表された論文が含まれている。
この巻の目的は、ToMとAI研究コミュニティのためのオープンアクセスと治されたアンソロジーを提供することである。
論文 参考訳（メタデータ） (2025-04-28T17:06:14Z) - 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) - Monitoring AI-Modified Content at Scale: A Case Study on the Impact of ChatGPT on AI Conference Peer Reviews [51.453135368388686]
本稿では,大規模言語モデル (LLM) によって実質的に修正あるいは生成される可能性のある大規模コーパスにおけるテキストの分数推定手法を提案する。
我々の最大可能性モデルは、専門家による参照テキストとAIによる参照テキストを利用して、コーパスレベルでの実世界のLLM使用を正確かつ効率的に検証する。
論文 参考訳（メタデータ） (2024-03-11T21:51:39Z) - Proceedings 39th International Conference on Logic Programming [53.44544554999452]
第39回論理プログラミング国際会議(ICLP 2023)で発表された技術コミュニケーション
Main Track、Doctoral Consortium、Application and Systems/Demo Track、Birds-of-a-Feather Track、Thematic Tracks on Logic Programming and Machine Learning、Logic Programming and Explainability、Ethics and Trustworthiness。
論文 参考訳（メタデータ） (2023-08-28T20:46:59Z) - The KiTS21 Challenge: Automatic segmentation of kidneys, renal tumors,
and renal cysts in corticomedullary-phase CT [50.41526598153698]
本稿では,2021 Kidney and Kidney tumor Challenge (KiTS21)の挑戦報告について述べる。
KiTS21は2019年に発売された最初のエディションの続編であり、チャレンジの設計方法に様々な革新が加えられている。
トップパフォーマンスのチームは、2019年のアートセットの状況よりも大幅に改善され、このパフォーマンスは人間レベルのパフォーマンスに近いことが示されています。
論文 参考訳（メタデータ） (2023-07-05T02:00:14Z) - 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 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) - ESPnet-ST IWSLT 2021 Offline Speech Translation System [56.83606198051871]
本稿では,ESPnet-STグループによる音声翻訳トラックにおけるIWSLT 2021の提出について述べる。
今年は、データ、アーキテクチャ、オーディオセグメンテーションのトレーニングにさまざまな取り組みを行いました。
私たちの最高のE2Eシステムは、すべてのテクニックをモデルアンサンブルと組み合わせ、31.4BLEUを達成しました。
論文 参考訳（メタデータ） (2021-07-01T17:49:43Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。