Hugging Face's logo

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

App Files Community
1
theorem-search

Commit History

Update src/streamlit_app.py
3d74df5
Running
verified

slszeto commited on

Update src/streamlit_app.py
d7e3505
verified

slszeto commited on

Update .streamlit/config.toml
1a75cb1
verified

slszeto commited on

imported logo
549e01e

Sophie commited on

Update requirements.txt
723dcef
verified

slszeto commited on

added 0 citation-weight case; ui updates
c1b045f

Sophie commited on

optimized app
a132e72

Sophie commited on

Merge remote-tracking branch 'origin/main'
71df2d7

Sophie commited on

fixed RDS loading error; clicking on link adds query and filters to RDS
59e9238

Sophie commited on

fix citation slider
9d38a37
verified

slszeto commited on

integrated pgvector; updated SQL calls to reference new papers table; minor refactoring
947c57d

Sophie commited on

Merge remote-tracking branch 'origin/main'
878f0ee

Sophie commited on

added filtering by paper; ranking now uses cosine similarity and citation counts
934ea0e

Sophie commited on

Update src/streamlit_app.py
73d4fd5
verified

slszeto commited on

Merge remote-tracking branch 'origin/main'
15b91ce

Sophie commited on

added filtering and citation counts
c38e4ce

Sophie commited on

minor fixes
f83c831
verified

slszeto commited on

minor fixes
6de8c39

Sophie commited on

better latex parsing when displaying theorems (not perfect)
ab99a3d

Sophie commited on

Update Dockerfile
cb6c277
verified

slszeto commited on

Update Dockerfile
3a1335b
verified

slszeto commited on

Update Dockerfile
9e8aa0a
verified

slszeto commited on

Update Dockerfile
2a23b4c
verified

slszeto commited on

Update Dockerfile
7e76d3c
verified

slszeto commited on

Rename src/app.py to src/streamlit_app.py
e0258b8
verified

slszeto commited on

Update README.md
f5511c4
verified

slszeto commited on

Rename src/streamlit_app.py to src/app.py
cd94f14
verified

slszeto commited on

Update README.md
f690f3e
verified

slszeto commited on

Update README.md
0ac9626
verified

slszeto commited on

Update README.md
7175b90
verified

slszeto commited on

Update requirements.txt
b47a1fe
verified

slszeto commited on

Update requirements.txt
510bb15
verified

slszeto commited on

Update requirements.txt
8dd8198
verified

slszeto commited on

Update requirements.txt
8708d25
verified

slszeto commited on

Delete src/app_demo.py
409007e
verified

slszeto commited on

Update src/streamlit_app.py
c6bcc0c
verified

slszeto commited on

upload app demo that pulls from RDS
f1767a2
verified

slszeto commited on

initial commit
3e79038
verified

Vilin97 commited on

Duplicate from streamlit/streamlit-template-space
2740367
verified

Vilin97 FranckAbgrall HF Staff commited on