verify() rejects a not-equal written in the other order
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 35/100
Direzione di ricerca
Start by tracing verify() and the relation lookup that uses INVERSE_RELATIONS, then inspect the existing tests for inverse relations. Add coverage for swapped Ne comparisons with and without raise_on_error=True; done means equivalent inequalities match in both orders, while comparisons with different values remain false.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
verify() returns False when the two sides of a not-equal are swapped. With raise_on_error=True the same comparison raises KeyError.
from math_verify import parse, verify
verify(parse(r"$1 \neq 2$"), parse(r"$2 \neq 1$"))
# False
verify(parse(r"$x \neq y$"), parse(r"$y \neq x$"), raise_on_error=True)
# KeyError: <class 'sympy.core.relational.Unequality'>
x > 1 matches 1 < x, and x = 1 matches 1 = x. Those relations are listed in INVERSE_RELATIONS. Ne is not, so the flipped comparison looks it up and raises. The default raise_on_error=False turns that into False, so 1 \neq 2 is scored wrong against 2 \neq 1.
The same statement in the same order still matches, and a different value stays wrong: x \neq 1 against x \neq 2 is False.
This is on main (ba3d3aa).
- Lingua principale
- Python
- Stelle
- 1.2k
- Fork
- 65
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di huggingface/Math-Verify
-
verify() raises ValueError comparing chained relations of different lengthForse già presa @chetana1410 l’ha presa 2 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
huggingface/Math-Verify#93 ·
-
A period inside the math delimiters (`$\frac{1}{3}.$`) makes correct answers fail and can make wrong ones passForse già presa @MohammadHijjawi97 l’ha presa 25 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 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 writesForse già presa @shaurya416 l’ha presa 30 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
huggingface/Math-Verify#83 ·
-
verify() rejects an absolute-value inequality that is the same intervalForse già presa @chetana1410 l’ha presa 2 giorni fa. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
huggingface/Math-Verify#98 ·
-
verify() rejects equivalent chained relations written in a different orderForse già presa @chetana1410 l’ha presa 2 giorni fa. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
huggingface/Math-Verify#96 ·
Tutte le issue di huggingface/Math-Verify
Issue simili
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 85/100
521xueweihan/HelloGitHub#4115 ·
-
get_lldp_neighbors_detail: query asks for 'max-address' (typo for 'mac-address'), so remote_chassis_id is always emptyForse già presa @Jah-yee l’ha presa oggi. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 88/100
-
lesson-submission pending-review
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 74/100
Ikalus1988/MisakaNet#3899 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
aws-samples/sample-per-model-bedrock#549 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100