[bug] bad cases about \\sqrt and function
まだ誰も着手していません。
評価
調査の方向性
まず、issue にある 2 つのパーサーおよび検証の例を実行し、それらが通るパーサー/検証のエントリポイントを追跡します。量化された関数のケースは検証される一方で、同値な平方根形式が異なるものとして比較される理由を調査します。意図した同値性の動作がカバーされ、両方の例で一貫した検証結果が得られれば完了です。
索引モデルが issue の本文から書いたものです。
説明
>>> parse('$\\sqrt{1/n}$'), parse('$\\frac{1}{\\sqrt{n}}$')
([sqrt(1/n), '\\sqrt{1/n}'], [1/sqrt(n), '\\frac{1}{\\sqrt{n}}'])
>>> verify(parse('$\\sqrt{1/n}$'), parse('$\\frac{1}{\\sqrt{n}}$'))
False
>>> parse('f(x) = 0'), parse('\\forall x>0, f(x) = 0')
([0, '0'], [0, '0'])
>>> verify(parse('f(x) = 0'), parse('\\forall x>0, f(x) = 0'))
True
- 主要言語
- Python
- スター
- 1.2k
- フォーク
- 65
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
huggingface/Math-Verify のほかの issue
-
verify() raises ValueError comparing chained relations of different length対応中かも @chetana1410 が 3 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
huggingface/Math-Verify#93 ·
-
A period inside the math delimiters (`$\frac{1}{3}.$`) makes correct answers fail and can make wrong ones pass対応中かも @MohammadHijjawi97 が 26 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
huggingface/Math-Verify#85 ·
-
evaluate_model_outputs.py: rows whose gold cannot be extracted are dropped from the accuracy denominator, so the printed accuracy disagrees with the is_correct column the script writes対応中かも @shaurya416 が 32 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
huggingface/Math-Verify#83 ·
-
verify() rejects a not-equal written in the other order対応中かも @chetana1410 が 3 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
huggingface/Math-Verify#100 ·
-
verify() rejects an absolute-value inequality that is the same interval対応中かも @chetana1410 が 3 日前に担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
huggingface/Math-Verify#98 ·
huggingface/Math-Verify の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
btclib-org/btclib-wallet#587 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
Judgment-Pack/judgment-pack-spec#275 ·
メンテナーはふだん 1 日以内に返信
-
ai-generated
難易度 2/5 1〜3時間 初心者へのやさしさ 77/100
メンテナーはふだん 1 日以内に返信
-
documentation good first issue priority: low size: XS
難易度 1/5 1〜3時間 初心者へのやさしさ 92/100
yeongseon/azure-functions-doctor-python#651 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
Changaco/python-libarchive-c#146 ·