Hugging Face's logo

Spaces:
uw-math-ai
/
theorem-search
Running

App Files Community
1
theorem-search / src
25.6 kB
  • 4 contributors
 History: 16 commits
Sophie
added 0 citation-weight case; ui updates
c1b045f