[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
- フォーク
- 67
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
huggingface/Math-Verify のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
huggingface/Math-Verify#102 ·
-
verify() raises ValueError comparing chained relations of different length対応中かも @chetana1410 が 7 日前に担当しました。 オープン
難易度 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 が 30 日前に担当しました。 オープン
難易度 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 が 36 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
huggingface/Math-Verify#83 ·
-
verify() rejects a not-equal written in the other order対応中かも @chetana1410 が 7 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
huggingface/Math-Verify#100 ·
huggingface/Math-Verify の issue をすべて見る
似ている issue
-
_chunk_scan_fwd launches its Triton kernel without a device guard: NaN when a model is split across GPUs対応中かも @toddwbucy が今日担当しました。 オープン
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
state-spaces/mamba#1072 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
loopj/aiovantage#414 ·
メンテナーはふだん 1 日以内に返信
-
power_mismatch_deline docstring: the rear-to-total RMAD conversion has an extra bifaciality factorオープン
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
pvlib/pvlib-python#2929 ·
メンテナーはふだん 1 日以内に返信
-
data good first issue launch-day unverified
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
BradGroux/wow-forever-mission-control#8 ·
メンテナーはふだん 1 日以内に返信
-
check bilibili falsely reports read/subtitle as broken: live_test fixture BV1GJ411x7h7 is gone (404)オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
Panniantong/Agent-Reach#889 ·
メンテナーはふだん 2 日以内に返信