Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
uw-math-ai
/
theorem-search
like
0
Running
App
Files
Files
Community
1
Fetching metadata from the HF Docker repository...
c1b045f
theorem-search
28.1 kB
4 contributors
History:
34 commits
Sophie
added 0 citation-weight case; ui updates
c1b045f
12 days ago
.streamlit
added 0 citation-weight case; ui updates
12 days ago
src
added 0 citation-weight case; ui updates
12 days ago
.gitattributes
Safe
1.52 kB
Duplicate from streamlit/streamlit-template-space
about 2 months ago
Dockerfile
Safe
406 Bytes
Update Dockerfile
about 2 months ago
README.md
Safe
439 Bytes
Update README.md
about 2 months ago
requirements.txt
Safe
112 Bytes
integrated pgvector; updated SQL calls to reference new papers table; minor refactoring
about 1 month ago
