論文の概要: 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教育におけるより形式的なアプローチへのスムーズな移行を追求する一方で、定理証明技術の力を活用して、この移行に対するソフトウェアサポートを支持する。
巻の編集者は、この論文集が定理に基づくソフトウェアの開発をさらに促進し、コンピュータ数学者と教育ステークホルダーの相互理解の改善に協力することを望んでいる。
関連論文リスト
- Language Models as Science Tutors [80.5847894062664]
本研究では,LMの現実的なユーザビリティを科学的アシスタントとして測定するTutorEvalとTutorChatを紹介する。
既存の対話データセットを用いた微調整ベースモデルがTutorEvalの性能を低下させることを示す。
我々はTutorChatを用いて、7Bパラメータと34Bパラメータを持つLlemmaモデルを微調整する。これらのLMチューターは32Kのコンテキストウィンドウを持ち、GSM8KとMATHに強く依存しながらTutorEvalで優れている。
論文 参考訳(メタデータ) (2024-02-16T22:24:13Z) - MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data [88.72298746872396]
MUSTARDは、高品質で多様性のある定理と証明データの均一な合成をマスターするフレームワークである。
5,866個の有効なデータポイントを持つMUSTARDSAUCEベンチマークを示す。
我々は広範囲な解析を行い、MUSTARDが検証された高品質なステップバイステップデータを生成することを示す。
論文 参考訳(メタデータ) (2024-02-14T05:57:58Z) - 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) - The Monocular Depth Estimation Challenge [74.0535474077928]
本稿では,WACV2103で組織された最初の単分子深度推定チャレンジ(MDEC)の結果を要約する。
この課題は、SynS-Patchesデータセット上での自己教師付き単眼深度推定の進捗を評価した。
論文 参考訳(メタデータ) (2022-11-22T11:04:15Z) - 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) - Ontology-Based Recommendation of Editorial Products [7.1717344176500335]
Smart Book Recommender (SBR)はSpringer NatureのComputer Science編集チームをサポートし、特定の場所で商品を市場に出す。
SBRは、約27Kの編集製品の意味的に強化された表現を利用して、会議に関連する書籍、ジャーナル、会議の手続を推奨します。
sbrはまた、ユーザがなぜ特定の出版物がシステムによって提案されたのかを調査できる。
論文 参考訳(メタデータ) (2021-03-24T23:23:53Z) - What's New? Summarizing Contributions in Scientific Literature [85.95906677964815]
本稿では,論文のコントリビューションと作業状況について,個別の要約を生成するために,論文要約のアンタングル化という新たなタスクを導入する。
本稿では,学術論文のS2ORCコーパスを拡張し,コントリビューション・コントリビューション・コントリビューション・レファレンス・ラベルを付加する。
本稿では, 生成した出力の関連性, 新規性, 絡み合いを報告する総合的自動評価プロトコルを提案する。
論文 参考訳(メタデータ) (2020-11-06T02:23:01Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。