Fugu-MT 論文翻訳(概要): Using Java Geometry Expert as Guide in the Preparations for Math Contests

論文の概要: Using Java Geometry Expert as Guide in the Preparations for Math Contests

arxiv url: http://arxiv.org/abs/2401.13704v1
Date: Mon, 22 Jan 2024 12:52:07 GMT
ステータス: 処理完了
システム内更新日: 2024-01-26 17:03:51.026494
Title: Using Java Geometry Expert as Guide in the Preparations for Math Contests
Title（参考訳）: Java Geometry Expertを数学コンテストの準備のガイドとして使う
Authors: Ines Ganglmayr (The Private University College of Education of the Diocese of Linz, Austria), Zolt\'an Kov\'acs (The Private University College of Education of the Diocese of Linz, Austria)
Abstract要約: 学校におけるJava Geometry Expert(JGEX)について,オーストリアの学校システムを中心に考察した。 JGEXは、特に数学的な競争課題を解決するために、いくつかの教室で素晴らしいサポートを提供することができる。
参考スコア（独自算出の注目度）: 1.940425532862296
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We give an insight into Java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical competition tasks. Also, we discuss some limitations of the program.
Abstract（参考訳）: 学校におけるJava Geometry Expert(JGEX)について,オーストリアの学校システムを中心に考察した。 JGEXは、特に数学的な競争課題を解決するために、いくつかの教室で素晴らしいサポートを提供することができる。また,プログラムの制限についても検討する。

関連論文リスト

Proposing and solving olympiad geometry with guided tree search [63.824930029019995]
木探索に基づくガイド付き問題解決を支援するユークリッド幾何学システムであるTongGeometryを紹介する。 TongGeometryは、補助的な構成を必要とする67億の幾何学定理を発見した。トンゲメトリーはIMO-AG-30ですべての国際数学オリンピック幾何学を解き、金メダリストを初めて上回った。
論文参考訳（メタデータ） (2024-12-14T04:20:47Z)
MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark [82.64129627675123]
MathBenchは、大規模言語モデルの数学的能力を厳格に評価する新しいベンチマークである。 MathBenchは幅広い数学の分野にまたがっており、理論的な理解と実践的な問題解決のスキルの両方を詳細に評価している。
論文参考訳（メタデータ） (2024-05-20T17:52:29Z)
ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models [67.32868432113587]
本稿では,Large Language Models (LLMs) の概念的数学的推論を評価するための詳細なベンチマークであるConceptMathを紹介する。一般的な数学的推論を平均精度で評価する従来のベンチマークとは異なり、ConceptMathは数学の問題を数学的概念の階層の下に体系的に整理する。
論文参考訳（メタデータ） (2024-02-22T16:06:49Z)
ChatGPT as a Math Questioner? Evaluating ChatGPT on Generating Pre-university Math Questions [20.261452062585985]
大規模言語モデル (LLM) は論理的推論と算術的推論を含む多くのNLPタスクで優れている。我々の分析は、コンテキスト認識とコンテキスト認識の2つの主要な設定に分類される。われわれのクローリングの結果はTopicMathだ。これは大学以前の数学のカリキュラムを包括的で斬新なコレクションだ。
論文参考訳（メタデータ） (2023-12-04T06:23:37Z)
Teaching Simple Constructive Proofs with Haskell Programs [0.0]
我々は、大卒の大学コースで、従来の数学的フォーマリズムとともにHaskellの使用について検討してきた。インタラクティブな学習プラットフォームを通じて,ほぼすべての形式的かつ要約的な評価を提供することが可能であることが分かりました。この形式に変換するのに最も難しい課題の1つは、建設的な議論を伝達する伝統的に書かれた証明である。
論文参考訳（メタデータ） (2022-07-26T07:46:58Z)
Machine Learning Algebraic Geometry for Physics [0.0]
この章は、A. KasprzykとA. Kasprzykらによって編集された『機械学習と代数幾何学』への貢献である。
論文参考訳（メタデータ） (2022-04-21T18:00:03Z)
Formal Mathematics Statement Curriculum Learning [64.45821687940946]
同じ計算予算、専門家の反復、つまり、学習にインターリーブされた証明検索が、証明検索のみを劇的に上回っていることを示す。また, 難易度が十分に異なる形式文の集合に適用した場合, 専門家の反復により, ますます困難な問題に対するカリキュラムの発見と解決が可能であることも観察した。
論文参考訳（メタデータ） (2022-02-03T00:17:00Z)
Open Geometry Prover Community Project [0.0]
Open Geometry Prover Community Projectは、共通な"umbrella"の下で、幾何自動定理プロバーの開発のための様々な取り組みを統合することを目的としている。本稿では、そのような統合に必要なステップと、これらのステップの現在の実装について説明する。
論文参考訳（メタデータ） (2022-01-03T09:27:23Z)
GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning [172.36214872466707]
我々は、テキスト記述、視覚図、定理知識の包括的理解を必要とする幾何学的問題を解くことに注力する。そこで本研究では,5,010の幾何学的問題を含む幾何学的質問応答データセットGeoQAを提案する。
論文参考訳（メタデータ） (2021-05-30T12:34:17Z)
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning [123.06420835072225]
3,002の幾何学的問題と密接なアノテーションを形式言語に含む新しい大規模ベンチマークGeometry3Kを構築します。我々は、Interpretable Geometry Problemsolvr (Inter-GPS)と呼ばれる形式言語と記号推論を用いた新しい幾何学的解法を提案する。イントラGPSは定理の知識を条件付き規則として取り入れ、記号的推論を段階的に行う。
論文参考訳（メタデータ） (2021-05-10T07:46:55Z)

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