huggingface / huggingface/Math-Verify

[bug] bad cases about \\sqrt and function

Open
#64 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
1.2k
Forks
60
PR merge metrics
No merged PRs in 30d

Description

```
>>> 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
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.