[bug] bad cases about \\sqrt and function
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 38/100
Direzione di ricerca
Inizia eseguendo i due esempi di parsing e verifica nell’issue e traccia i punti di ingresso del parser/verificatore che esercitano. Indaga sul motivo per cui forme equivalenti di radice quadrata vengono confrontate diversamente, mentre il caso di funzione quantificata viene verificato; il lavoro è completo quando il comportamento di equivalenza previsto è coperto ed entrambi gli esempi producono risultati di verifica coerenti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
>>> 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
- 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 a not-equal written in the other orderForse già presa @chetana1410 l’ha presa 2 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
huggingface/Math-Verify#100 ·
-
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 ·
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